元数

✍ dations ◷ 2025-08-17 23:45:36 #抽象代数,泛代数

在逻辑、数学及计算机科学里,函数或运算的元数是指所需的参数或算子的数量。关系的元数则是指其对应之笛卡儿积的维度。

元数主要用在下面类型的函数之中:f : → ,其中的 ⊂ ,且是某个集合。此类函数通常称为在上的“运算”,且称是这个运算的元数。

“元数”一词其实在一般情况之下并不怎么常使用。例如,与其说“加法运算的元数是2”或“加法是个元数2的运算”,更多人会说“加法是个二元运算”。

有时,将一个常数视为一个0元运算或0元函数是很有用的。

而且,在非函数编程语言里,一个没有参数的函数可以是有意义的,且不必然是个常数(因为有副作用)。通常,此类函数实际上会有个“隐藏输入”,可能是个全局变数,包含整个系统的状态(时间、未使用内存、…)。后者是个很重要的例子,即使在“纯”函数编程语言里也有其存在。

在数学和编程语言中,一元运算的例子包括正负值、C语言之类编程语言中的递增和递减运算子,以及数学中的阶乘、倒数、高斯符号、绝对值、共轭复数和范数。

所有在λ演算中的函数,以及部分函数编程语言(尤其是那些衍生自ML语言的编程语言)在技术上是一元的。

大部分在编程语言中出现的运算子多是二元运算的形式。在编程语言及数学里,这些二元运算可以是乘法、加法及除法。“或”、“异或”、“且”、“蕴涵”等逻辑联结词一般也被当做二元运算子使用。

在C语言、C++、C#、Java、Perl等各种编程语言中,都会有个三元运算子“?:”,称为条件运算符。Forth中也有一个三元运算子“*/”。这个运算子会将前两个数字相乘,然后再除以第三个数字,中介的乘积结果会以两倍的位元储存,以防中介的结果溢位。dc中也有一些三元运算子,如“|”,会从堆叠中弹出三个值来,且以随意的精确度有效地计算出 x y mod z {\displaystyle x^{y}\mod z} 个参数的函数总是可以想成是有1个参数的函数,其参数为某个积空间的元素。不过,在标记上,当做是元函数会比较简单,如多重线性映射(此映射在≠1时不是积空间上的线性映射)。

在编程语言中也一样,有数个参数的函数总是可以被定义成以某个复合类型做为单一参数的函数,如多元组,或柯里化的高阶函数。

相关

  • 图书馆馆员图书馆员是负责图书馆运营的专业人员,其工作包括对馆藏资源的采购、加工、描述、流通(借还)、分析报导、点算书籍、盘点书本、检查书籍、把书本排列好次序、上书、帮忙读者寻找
  • 伊比利亚鸟伊比利亚鸟属(属名:Iberomesornis,意为“伊比利的中古鸟类”),又名伊比利亚中鸟,是一种原始鸟类。其化石是于1985年在西班牙昆卡省拉斯奥亚斯(Las Hoyas)的下白垩纪地层发现。它们生
  • 中华民国外交部领事事务局外交部领事事务局(常简称为领务局)是中华民国外交部辖下的机关,成立于1992年,主要业务为核发中华民国护照、办理外国护照签证、文件证明、提供出国旅游参考资讯及旅外国人急难救
  • 第二通道马新第二通道(马来语:Laluan Kedua Malaysia-Singapura,新加坡官方:Tuas Second Link)简称“第二通道”(LINKEDUA),是一座总长1,920米(6,300英尺)、连接马来西亚柔佛州和新加坡的跨海
  • 支棱关支棱关(越南语:Ải Chi Lăng),又称支棱隘,位于谅山省枝陵县支棱市镇境内,是越南的一个关隘。国道1A号从这一关隘通过。支棱关位于丛山峻岭之间,其地理位置非常险要,在历史上曾是通
  • 高太痴高太痴(1863年-1920年),原名莹,字俊芬,号悮轩,别署太痴、侣琴、怅花、玉琴仙侣、漱芳斋主、云水山人、小窗金缕翠笺词客、爱与嫦娥分小影楼主等。苏州人。中国早期报业主笔。光绪二
  • 阿里山榆阿里山榆(学名:)为榆科榆属下的一个种。
  • 佩林塔尔曼纳佩林塔尔曼纳(Perinthalmanna),是印度喀拉拉邦Malappuram县的一个城镇。总人口44613(2001年)。该地2001年总人口44613人,其中男性21497人,女性23116人;0—6岁人口6269人,其中男3265人
  • 朱盛浓朱盛浓(?-1655年10月29日(永历九年十月辛亥)),字扬廷,明朝宗室、南明政治与军事人物。朱盛浓是通山靖恭王朱孟爚的后裔,弘光年间和武官周维几听从马士英攻击黄澍欺凌宗室,抓拿审问,他因
  • 和频产生和频产生(Sum-frequency generation, SFG) 是一种非线性光学的处理方法。这个现象主要是消灭两个具有角频率ω1及ω2光子,同时产生一个角频率ω3的光子。就如同其他非线性光学