上一页

ⓘ Category:公理




                                               

艾倫伯格-斯廷羅德公理

在数学的代数拓扑学,艾伦伯格-斯廷罗德公理的英文:艾伦贝格–斯廷罗德公理是一个拓空间,同调理论的共同性质。 在符合这套原则的同调的理论是一个典型的例子,是由塞缪尔*艾伦伯格和诺曼斯廷罗德建立单上同调。 同调理论上可以被定义为一致艾伦伯格-斯廷罗德公理的一个函数列。 这个不言自明的方法在1945年建立的,可以用来证明,只要符合公理的同调理论一些共同的结果,例如迈尔-墨菲Tori在序列。 如果你忽略尺寸公理,那么其余的公理的定义是广义上同调的理论。 最早出现的一个广义上同调理论上是K-理论和与边缘的理论。

                                               

公理模式

在数学逻辑,公理的模式广义的公理的这一概念。 公理模式是在公理系统的语言形式,其中有超过一个模式变量发生。 这些模式中变量的元语言的一个代表系统根据任何一项或任何一项的公式。 这些变量通常需要有一个部分是自由的,即,一些没有出现在该公式或入境的变量。 如果模式变量可以被替换为式或数量的物品是可数无限的,这个公理模式是代表数不限数量的公理。 这些原则通常可以交给循环定义。 如果一个理论上不需要使用公理架构为公理,它被称为"限定不言自明的。" 可以有限理论上不言自明的,在meta-数学被认为更重要的是,即使这些理论中推导的工作上有较少的实际使用。 公理模式的两个非常着名的例子: 替代公理过程的一套理论的一部分 ...

                                               

平行公設

作为平行的假设英文:对平行的假设,也被称为欧几里德的第五次假设,因为它是五个假设的第五条的名称。 这是欧氏几何一个不同的原则比以前的四个复杂的。 公设辩护人就是说: 如果一个线段和两个直线相交的,在一个边内角和小于两个正确的角度,然后在两个直线在持续扩展,它将是内部角和小于两个正确的角度和一侧的交叉路口。 假定所有欧几里德假设,其中包括作为平行的假设,是建立由几何称为欧氏几何形状。 假定作为平行的假设并不是举行被称为非欧氏几何形状。 并不取决于作为并行假设的几何形状,那就是,只有假定的第四种假设,被称为仿射几何形状这只是一个平行的线性质的有关假设。 欧几里德已经在Euclids的要素,第一卷定义的第23条 ...

                                               

庫拉托夫斯基閉包公理

库拉托夫斯基封闭公理定义的一组拓扑结构,并且它是开集定义的拓扑公理是等同的。

                                               

概率公理

概率公理的英文的概率是公理的概率论公理的任何事件的发生概率的定义,以满足该概率的公理。 由于其发明者是安德烈*科尔莫难以理解-Sharif,又称为科尔莫难以理解的格罗夫公理会(洛夫公理。 一个事件E{\displaystyle E}概率P E{\displaystyle PE}是定义"的"整个宇宙或所有可能的基本事件的样本空间Ω{\displaystyle\欧米茄}概率P{\displaystyle P}必须满足以下科尔莫难以理解的马尔科夫公理。 它可以说是概率可被解释为定义的样品空间的一个子集σ代数在衡量,一个子集的那些事件,使得所有集中的措施1{\displaystyle1}。 这自然是非常重要的,因为它提出的概率自然的概念。 对于每个非零的概率可能在空间限定在另一个概率: P B | A = P B ∩ ...

                                               

皮亚诺公理

皮亚诺公理的英文:皮亚诺公理;意大利语:Assiomi迪皮亚诺,也称为皮亚诺假设,是意大利的数学家朱塞佩*皮亚诺提出的关于自然数的五个公理系统。 根据这五项原则可以建立一阶算系统,也称为皮亚诺算系统。

用户还搜索了:

...
...
...