Kenneth E. Iverson, A Programming Language, New York: Wiley, p. 11, 1962.
四月 08, 2024
艾佛森括号, 在数学中, 以kenneth, iverson命名的, iverson, bracket, 是一种用方括号记号, 如果方括号内的条件满足则为1, 不满足则为0, 更确切地讲, true, 0otherwise, displaystyle, begin, cases, text, text, true, text, otherwise, cases, 此处, 是一个可真可假的命题, 该记号由kenneth, iverson在他的编程语言apl中引进, 而特别使用方括号则是由高德纳倡导的, 目的是避免含括. 在数学中 以Kenneth E Iverson命名的 艾佛森括号 Iverson bracket 是一种用方括号记号 如果方括号内的条件满足则为1 不满足则为0 更确切地讲 P 1If P is true 0Otherwise displaystyle P begin cases 1 amp text If P text is true 0 amp text Otherwise end cases 此处 P 是一个可真可假的命题 该记号由Kenneth E Iverson在他的编程语言APL中引进 1 而特别使用方括号则是由高德纳倡导的 目的是避免含括号的表达式中的歧义 2 目录 1 用途 2 样例 3 另见 4 注释 5 参考来源用途 编辑艾弗森括号通过自然的映射false 0 true 1 displaystyle textbf false mapsto 0 textbf true mapsto 1 nbsp 将布尔值转化为整数值 这就允许计数被表示为和式 例如 计数与小于n且正整数n互质的正整数的个数的欧拉函数可以表示为 ϕ n i 1n gcd i n 1 for n N displaystyle phi n sum i 1 n gcd i n 1 qquad text for n in mathbb N nbsp 更一般地 此记号使得将和式和积分式中繁多的条件移入并成为被加 积 项的一个因子成为可能 这将减少累加记号周围的空间 更重要的是这允许运算更加代数化 例如 1 i 10i2 ii2 1 i 10 displaystyle sum 1 leq i leq 10 i 2 sum i i 2 1 leq i leq 10 nbsp 另一个例子是化简带特例的方程 例如公式 1 k ngcd k n 1k 12nf n displaystyle sum 1 leq k leq n atop gcd k n 1 k frac 1 2 n varphi n nbsp 对一切n gt 1 有效 但是右边有 1 2 对于 n 1 为了得到一个一切正整数n都成立的恒等式 可以利用艾弗森括号补充等式 1 k ngcd k n 1k 12n f n n 1 displaystyle sum 1 leq k leq n atop gcd k n 1 k frac 1 2 n varphi n n 1 nbsp 样例 编辑克罗内克函数 dij i j displaystyle delta ij i j nbsp 符号函数和单位阶跃函数 sgn x x gt 0 x lt 0 displaystyle operatorname sgn x x gt 0 x lt 0 nbsp H x x gt 0 displaystyle H x x gt 0 nbsp 最值与绝对值 max x y x x gt y y x y displaystyle max x y x x gt y y x leq y nbsp min x y x x y y x gt y displaystyle min x y x x leq y y x gt y nbsp x x x 0 x x lt 0 displaystyle x x x geq 0 x x lt 0 nbsp 上下取整函数 x n n n x lt n 1 displaystyle lfloor x rfloor sum n infty infty n n leq x lt n 1 nbsp x n n n 1 lt x n displaystyle lceil x rceil sum n infty infty n n 1 lt x leq n nbsp 麦考利括号 英语 Macaulay brackets 可被表示为 x x x 0 displaystyle x x cdot x geq 0 nbsp 实数的三分律等价于下面的恒等式 a lt b a b a gt b 1 displaystyle a lt b a b a gt b 1 nbsp 另见 编辑麦考利括号 英语 Macaulay brackets 注释 编辑 Ronald Graham Donald Knuth and Oren Patashnik Concrete Mathematics Section 2 2 Sums and Recurrences Knuth 1992 参考来源 编辑Donald Knuth Two Notes on Notation American Mathematical Monthly Volume 99 Number 5 May 1992 pp 403 422 http www cs faculty stanford edu knuth papers tnn tex gz 页面存档备份 存于互联网档案馆 arXiv math 9205211 Kenneth E Iverson A Programming Language New York Wiley p 11 1962 取自 https zh wikipedia org w index php title 艾佛森括号 amp oldid 74311412, 维基百科,wiki,书籍,书籍,图书馆,