Additively indecomposable ordinal (original) (raw)
In set theory, a branch of mathematics, an additively indecomposable ordinal α is any ordinal number that is not 0 such that for any , we have Additively indecomposable ordinals are also called gamma numbers or additive principal numbers. The additively indecomposable ordinals are precisely those ordinals of the form for some ordinal . From the continuity of addition in its right argument, we get that if and α is additively indecomposable, then The class of additively indecomposable numbers is closed and unbounded. Its enumerating function is normal, given by .
| Property | Value |
|---|---|
| dbo:abstract | In set theory, a branch of mathematics, an additively indecomposable ordinal α is any ordinal number that is not 0 such that for any , we have Additively indecomposable ordinals are also called gamma numbers or additive principal numbers. The additively indecomposable ordinals are precisely those ordinals of the form for some ordinal . From the continuity of addition in its right argument, we get that if and α is additively indecomposable, then Obviously 1 is additively indecomposable, since No finite ordinal other than is additively indecomposable. Also, is additively indecomposable, since the sum of two finite ordinals is still finite. More generally, every infinite initial ordinal (an ordinal corresponding to a cardinal number) is additively indecomposable. The class of additively indecomposable numbers is closed and unbounded. Its enumerating function is normal, given by . The derivative of (which enumerates its fixed points) is written Ordinals of this form (that is, fixed points of ) are called epsilon numbers. The number is therefore the first fixed point of the sequence (en) |
| dbo:wikiPageID | 17202420 (xsd:integer) |
| dbo:wikiPageLength | 3614 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1051920669 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Infinite_set dbr:Mathematics dbr:Order_topology dbr:Epsilon_numbers_(mathematics) dbr:Ordinal_arithmetic dbr:Feferman–Schütte_ordinal dbr:Finite_set dbr:Fixed_point_(mathematics) dbr:Cardinal_number dbr:Knuth's_up-arrow_notation dbc:Ordinal_numbers dbr:Ordinal_number dbr:Sequence dbr:Set_theory dbr:Prime_ordinal dbr:Initial_ordinal |
| dbp:title | Additively indecomposable (en) |
| dbp:urlname | additivelyindecomposable (en) |
| dbp:wikiPageUsesTemplate | dbt:Citation dbt:No_footnotes dbt:PlanetMath_attribution |
| dct:subject | dbc:Ordinal_numbers |
| rdf:type | yago:WikicatOrdinalNumbers yago:Abstraction100002137 yago:DefiniteQuantity113576101 yago:Measure100033615 yago:Number113582013 yago:OrdinalNumber113597280 |
| rdfs:comment | In set theory, a branch of mathematics, an additively indecomposable ordinal α is any ordinal number that is not 0 such that for any , we have Additively indecomposable ordinals are also called gamma numbers or additive principal numbers. The additively indecomposable ordinals are precisely those ordinals of the form for some ordinal . From the continuity of addition in its right argument, we get that if and α is additively indecomposable, then The class of additively indecomposable numbers is closed and unbounded. Its enumerating function is normal, given by . (en) |
| rdfs:label | Additively indecomposable ordinal (en) |
| owl:sameAs | freebase:Additively indecomposable ordinal yago-res:Additively indecomposable ordinal wikidata:Additively indecomposable ordinal https://global.dbpedia.org/id/4LRTb |
| prov:wasDerivedFrom | wikipedia-en:Additively_indecomposable_ordinal?oldid=1051920669&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Additively_indecomposable_ordinal |
| is dbo:wikiPageRedirects of | dbr:Additively_indecomposable dbr:Indecomposable_ordinal dbr:Additive_principal dbr:Additive_principal_ordinal dbr:Additively_principal dbr:Additively_principal_ordinal dbr:Delta_number |
| is dbo:wikiPageWikiLink of | dbr:Gamma_number dbr:Glossary_of_set_theory dbr:Epsilon_number dbr:Ordinal_arithmetic dbr:Additively_indecomposable dbr:Ordinal_number dbr:Indecomposability dbr:Near-semiring dbr:Indecomposable_ordinal dbr:Additive_principal dbr:Additive_principal_ordinal dbr:Additively_principal dbr:Additively_principal_ordinal dbr:Delta_number |
| is foaf:primaryTopic of | wikipedia-en:Additively_indecomposable_ordinal |