About: Cofinality     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:OrdinalNumber113597280, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FCofinality&invfp=IFP_OFF&sas=SAME_AS_OFF

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.

AttributesValues
rdf:type
rdfs:label
  • Cofinalitat (ca)
  • Kofinál (cs)
  • Konfinalität (de)
  • Cofinalidad (es)
  • Cofinality (en)
  • Cofinalità (it)
  • Cofinalité (fr)
  • 공종도 (ko)
  • Cofinaliteit (nl)
  • 共終数 (ja)
  • Współkońcowość (pl)
  • Cofinalidade (pt)
  • 共尾性 (zh)
rdfs:comment
  • En teoria de conjunts i teoria de l'ordre, un subconjunt d'un conjunt ordenat és cofinal en si no té cota superior en . En teoria de conjunts s'utilitza aquest concepte per definir la noció de cofinalitat, que permet classificar els diferents cardinals infinits. (ca)
  • Kofinál či také kofinalita limitního ordinálu je matematický pojem z oblasti teorie množin (ordinální aritmetiky). Je to jedna ze základních charakteristik limitních ordinálů, vyjadřuje „míru přístupnosti horních pater ordinálu“. (cs)
  • In der Ordnungstheorie und Mengenlehre findet die Eigenschaft konfinal (auch: kofinal, engl. cofinal) Anwendung bei topologischen Teilnetzen, so auch bei den proendlichen Zahlen.Der davon abgeleitete Begriff der Konfinalität (auch: Kofinalität, englisch cofinality) bezeichnet ein spezielles Attribut von halbgeordneten Teilmengen, nämlich eine Kardinalzahl. Der Begriff wurde von Felix Hausdorff eingeführt. (de)
  • 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. (es)
  • 집합론에서 공종도(共終度, 영어: cofinality)는 주어진 원순서 집합의 공종 집합의 최소 크기이다. 이는 원순서 집합의 일종의 복잡도를 나타낸다. (ko)
  • 極限順序数の共終数(きょうしゅうすう、cofinality)とは、からへの写像でその値域がの中で非有界になっているようなものが存在するような最小ののことを言う。ここで、の部分集合が非有界であるとは、全てのに対して、それよりも大きいの元が存在することをいう。の共終数はよくと記される。 共終数は順序数の性質として非常に重要なものであり、その他の性質に大きく影響している。また下記の正則基数と特異基数の違いは顕著である。 (ja)
  • W matematyce, zwłaszcza w teorii mnogości, współkońcowość zbioru częściowo uporządkowanego to najmniejsza moc zbioru współkońcowego w (pl)
  • Em matemática, especialmente na teoria da ordem e em teoria dos conjuntos, a cofinalidade de um conjunto parcialmente ordenado (A, ≤), cf(A), é o menor dos cardinais dos conjuntos parcialmente ordenados cofinais com (A, ≤) . Dado um conjunto parcialmente ordenado (A, ≤), diz-se que um subconjunto B de A, B⊆A, é cofinal com A (com a ordem anterior restrita a B) se para cada a∈A existe um b∈B tal que a≤b. O conceito de cofinalidade foi introduzido por Felix Hausdorff em 1908. (pt)
  • 在數學裡,尤其是在序理論裡,一个偏序集合 A 的共尾性 cf(A) 是指 A 的共尾子集的勢中的最小者。 共尾性的定義依賴於選擇公理,因为它利用了所有非空的基數集合都有一个最小成员的事实。偏序集合 A 的共尾性亦可定義成最小的序数 x,使得有着值域共尾于陪域的一个从 x 到 A 的函数。第二個定義不需要選擇公理也可以有意義。若假設有選擇公理(此條目接下來的部分亦將如此假設),這兩種定義將是等價的。 共尾性也可類似地被定義在有向集合上,并且用來廣義化网中的子序列概念。 (zh)
  • 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. (en)
  • Considérons un ensemble A muni d'une relation binaire ≤. Un sous-ensemble B de A est dit cofinal si : pour tout élément a de A, il existe un élément b de B tel que a ≤ b ;∀ a ∈ A, ∃ b ∈ B \ a ≤ b. La cofinalité de l'ensemble A est le cardinal du plus petit sous-ensemble cofinal de A. La cofinalité d'un ordinal limite est le plus petit ordinal tel qu'il existe une fonction non majorée. Cet ordinal est usuellement noté ou . Intuitivement, est le plus petit nombre de pas à faire pour arriver au bout de . Un cardinal qui est égal à sa cofinalité, comme ici, , est appelé cardinal régulier. (fr)
  • In teoria degli insiemi, si dice cofinalità di un dato insieme totalmente ordinato il più piccolo ordinale tale che esista una funzione cofinale dall'ordinale ad (ricordiamo che una funzione si dice cofinale se la sua immagine è un sottoinsieme cofinale del codominio). In formule, Si dimostra che è un cardinale e si arriva alla seguente definizione equivalente: Da notare che questa seconda definizione ha bisogno dell'assioma di scelta, mentre la prima non ne ha bisogno. (it)
  • In de ordetheorie, een deelgebied van de wiskunde, is de cofinaliteit van een partieel geordende verzameling de kleinste van de kardinaliteiten van de cofinale deelverzamelingen van Een deelverzameling heet cofinaal in als er bij iedere een element is met Voor een gerichte verzameling kan cofinaliteit op analoge wijze worden gedefinieerd. Het kan worden gebruikt om het begrip deelrij in een net te veralgemenen. (nl)
differentFrom
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software