艾佛森括号

✍ dations ◷ 2025-04-04 07:32:40 #数学符号

在数学中，以Kenneth E. Iverson命名的“艾佛森括号”（Iverson bracket），是一种用方括号记号，如果方括号内的条件满足则为1，不满足则为0. 更确切地讲，

此处是一个可真可假的命题。该记号由Kenneth E. Iverson在他的编程语言APL中引进，而特别使用方括号则是由高德纳倡导的，目的是避免含括号的表达式中的歧义。

艾弗森括号通过自然的映射 ${\textbf {false}}\mapsto 0;{\textbf {true}}\mapsto 1$ > 1有效，但是右边有 1/2 对于 = 1。为了得到一个一切正整数n都成立的恒等式，可以利用艾弗森括号补充等式：

克罗内克函数 : $\delta _{ij}=.$ $\delta _{{ij}}=.$

符号函数和单位阶跃函数：

最值与绝对值：

上下取整函数：

麦考利括号（英语：Macaulay brackets）可被表示为

实数的三分律等价于下面的恒等式：

相关

华严经《.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-setting
荷属加勒比荷属加勒比（Dutch Caribbean）是荷兰王国位于加勒比地区的岛屿领地的总称。它包括阿鲁巴、库拉索、荷属圣马丁以及荷兰加勒比区。荷属加勒比并非单一行政区域、政治实体或经济
列车自动保护系统列车自动保护系统（英语：Automatic Train Protection，缩写：ATP）亦称列车超速防护系统、列车自动防护系统，为列车超过规定速度时即自动制动的系统。列车超速防护系统分为地面设备与
斯坦斯特德机场伦敦斯坦斯特德机场（英语：London Stansted Airport；IATA代码：STN；ICAO代码：EGSS），位于伦敦东北的埃塞克斯郡境内，是一座服务于英国伦敦的单跑道民用机场，多家欧洲廉价航空公司的枢杻机
里卡多·蒙特尔班里卡多·蒙特尔班（西班牙语：Ricardo Montalbán，/ˌmɒntəlˈbɑːn/，西班牙语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe
荒畑寒村荒畑寒村（1887年8月14日－1981年3月6日），日本社会运动家、作家、评论家、社会主义者。原名荒畑胜三。出生在神奈川县横滨市永乐町的横滨游郭，童年今日横滨市港南区的野庭渡过。高
阿卜杜勒-阿齐兹·本·阿卜杜拉赫曼·本·费萨尔·阿勒沙特阿卜杜勒-阿齐兹·本·阿卜杜拉赫曼·本·费萨尔·阿勒沙特（阿拉伯语：عبد العزيز بن عبد الرحمن بن فيصل آل سعود‎；1876年11月26日－1953年11
化粪池山姆化粪池山姆（英语：Septic Tank Sam）是指一具发现于加拿大阿尔伯塔省托菲尔德（英语：Tofield）以西13公里处一座化粪池内身份不明的男性谋杀受害者遗体。据权威人士称，此人并非来自阿尔
特兰斯凯特兰斯凯共和国（南非语：Republiek van Transkei，英语：Republic of Transkei，科萨语：iRiphabliki yeTranskei），通称特兰斯凯，是一个位于南非东开普省的地区，在1976年至1994年期间为未被
极地特快 (绘本)《极地特快》（英语：）是克里斯·凡·艾斯伯格创作的儿童绘本，于1985年出版。这本书在1986年获得凯迪克奖金奖，并在2004年被改编为同名电影。凡·艾斯伯格曾表示创作《极地特快》的