In mathematics, especially in order theory, the cofinality cf(A) of a partially ordered set A is the least of the cardinalities of the cofinal subsets of A. This definition of cofinality relies on the axiom of choice, as it uses the fact that every non-empty set of cardinal numbers has a least member. The cofinality of a partially ordered set A can alternatively be defined as the least ordinal x such that there is a function from x to A with cofinal image.

PropertyValue
dbpedia-owl:abstract
  • In mathematics, especially in order theory, the cofinality cf(A) of a partially ordered set A is the least of the cardinalities of the cofinal subsets of A. This definition of cofinality relies on the axiom of choice, as it uses the fact that every non-empty set of cardinal numbers has a least member. The cofinality of a partially ordered set A can alternatively be defined as the least ordinal x such that there is a function from x to A with cofinal image. This second definition makes sense without the axiom of choice. If the axiom of choice is assumed, as will be the case in the rest of this article, then the two definitions are equivalent. Cofinality can be similarly defined for a directed set and is used to generalize the notion of a subsequence in a net.
  • Die Konfinalität bezeichnet in der Mengenlehre eine Eigenschaft von Ordinalzahlen. Der Begriff wurde von Felix Hausdorff eingeführt.
  • En teoría de conjuntos y teoría del orden, un subconjunto A de un conjunto ordenado X es cofinal en X si no tiene cota superior en X. En teoría de conjuntos se utiliza este concepto para definir la noción de cofinalidad, que permite clasificar los distintos cardinales infinitos.
  • In teoria degli insiemi, si dice cofinalità di un dato insieme totalmente ordinato il più piccolo numero ordinale tale che esista una funzione dall'ordinale ad illimitata. In formule, Per illimitato si intende che nessun taglio iniziale di contiene tutto, o equivalentemente che dato un qualsiasi elemento esiste un elemento con . Talvolta si usa, come sinonimo di "illimitato", il termine "cofinale".
  • 極限順序数の共終数（きょうしゅうすう）とは、 からへの写像で その値域がの中で非有界になっているようなものが存在するような 最小ののことを言う。 ここで、の部分集合が非有界であるとは、 全てのに対して、それよりも大きい の元が存在することをいう。 また、順序数をそれより小さい順序数全体の集合として定義する公理的集合論の 慣習も採用した。 の共終数はよく と記される。 共終数は順序数の性質として非常に重要なものであり、その他の性質に 大きく影響している。また下記の正則基数と特異基数の違いは顕著である。
  • In de ordetheorie, een deelgebied van de wiskunde, is de cofinaliteit cf(A) van een partieel geordende verzameling A de kleinste van de kardinaliteiten van de cofinale deelverzamelingen van A. Deze definitie van cofinaliteit vertrouwt op het keuzeaxioma, omdat het gebruik maakt van het feit dat iedere niet-lege verzameling van kardinaalgetallen een kleinste lidmaat heeft. De cofinaliteit van een partieel geordende verzameling A kan op alternatieve wijze worden gedefinieerd als het kleinste ordinaal x, zodanig dat er een functie van x naar A bestaat met cofinaal beeld. Deze tweede definitie is ook zinvol zonder een beroep op het keuzeaxioma te hoeven doen. Wanneer het keuzeaxioma wordt aangenomen dan zijn de twee definities gelijkwaardig. Voor een gerichte verzameling kan cofinaliteit op gelijkaardige wijze worden gedefinieerd. Het kan worden gebruikt om de notie van een deelrij in een net te veralgemenen.
  • 在數學裡，尤其是在序理論裡，一个偏序集合 A 的共尾性 cf(A) 是指 A 的共尾子集的勢中的最小者。 共尾性的定義依靠著選擇公理，因为它利用了基數的所有非空集合都有一个最小成员的事实。偏序集合 A 的共尾性亦可定義成最小的序数 x，使得有着值域共尾于陪域的一个从 x 到 A 的函数。第二個定義不需要選擇公理也可以有意義。若假設有選擇公理，接下來的文章將如此假設，這兩種定義將是等價的。 共尾性也可相似地被定義在有向集合上，并且用來廣義化网中的子序列概念。
dcterms:subject
rdf:type
rdfs:comment
  • Die Konfinalität bezeichnet in der Mengenlehre eine Eigenschaft von Ordinalzahlen. Der Begriff wurde von Felix Hausdorff eingeführt.
  • En teoría de conjuntos y teoría del orden, un subconjunto A de un conjunto ordenado X es cofinal en X si no tiene cota superior en X. En teoría de conjuntos se utiliza este concepto para definir la noción de cofinalidad, que permite clasificar los distintos cardinales infinitos.
  • In teoria degli insiemi, si dice cofinalità di un dato insieme totalmente ordinato il più piccolo numero ordinale tale che esista una funzione dall'ordinale ad illimitata. In formule, Per illimitato si intende che nessun taglio iniziale di contiene tutto, o equivalentemente che dato un qualsiasi elemento esiste un elemento con . Talvolta si usa, come sinonimo di "illimitato", il termine "cofinale".
  • 極限順序数の共終数（きょうしゅうすう）とは、 からへの写像で その値域がの中で非有界になっているようなものが存在するような 最小ののことを言う。 ここで、の部分集合が非有界であるとは、 全てのに対して、それよりも大きい の元が存在することをいう。 また、順序数をそれより小さい順序数全体の集合として定義する公理的集合論の 慣習も採用した。 の共終数はよく と記される。 共終数は順序数の性質として非常に重要なものであり、その他の性質に 大きく影響している。また下記の正則基数と特異基数の違いは顕著である。
  • 在數學裡，尤其是在序理論裡，一个偏序集合 A 的共尾性 cf(A) 是指 A 的共尾子集的勢中的最小者。 共尾性的定義依靠著選擇公理，因为它利用了基數的所有非空集合都有一个最小成员的事实。偏序集合 A 的共尾性亦可定義成最小的序数 x，使得有着值域共尾于陪域的一个从 x 到 A 的函数。第二個定義不需要選擇公理也可以有意義。若假設有選擇公理，接下來的文章將如此假設，這兩種定義將是等價的。 共尾性也可相似地被定義在有向集合上，并且用來廣義化网中的子序列概念。
  • In mathematics, especially in order theory, the cofinality cf(A) of a partially ordered set A is the least of the cardinalities of the cofinal subsets of A. This definition of cofinality relies on the axiom of choice, as it uses the fact that every non-empty set of cardinal numbers has a least member. The cofinality of a partially ordered set A can alternatively be defined as the least ordinal x such that there is a function from x to A with cofinal image.
  • In de ordetheorie, een deelgebied van de wiskunde, is de cofinaliteit cf(A) van een partieel geordende verzameling A de kleinste van de kardinaliteiten van de cofinale deelverzamelingen van A. Deze definitie van cofinaliteit vertrouwt op het keuzeaxioma, omdat het gebruik maakt van het feit dat iedere niet-lege verzameling van kardinaalgetallen een kleinste lidmaat heeft.
rdfs:label
  • Konfinalität
  • Cofinality
  • Cofinalidad
  • Cofinalità
  • 共終数
  • Cofinaliteit
  • 共尾性
owl:sameAs
foaf:page
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of