Veblen function (original) (raw)
En mathématiques, et plus précisément en théorie des ensembles, les fonctions de Veblen forment une suite de fonctions définies sur les ordinaux, introduite en 1908 par Oswald Veblen.
| Property | Value |
|---|---|
| dbo:abstract | En mathématiques, et plus précisément en théorie des ensembles, les fonctions de Veblen forment une suite de fonctions définies sur les ordinaux, introduite en 1908 par Oswald Veblen. (fr) In mathematics, the Veblen functions are a hierarchy of normal functions (continuous strictly increasing functions from ordinals to ordinals), introduced by Oswald Veblen in . If φ0 is any normal function, then for any non-zero ordinal α, φα is the function enumerating the common fixed points of φβ for β<α. These functions are all normal. (en) ヴェブレン階層（ヴェブレンかいそう）とは、ヴェブレン関数の値からなる超限次元の行列であり、フェファーマン・シュッテの順序数 (Γ0) より小さい順序数を表現する一般的な方法である。任意の Γ0 より小さい順序数は、0 と和とヴェブレン関数の組み合わせによって、有限に記述される。オズワルド・ヴェブレンが1908年の論文にて紹介した。 (ja) В математике функции Веблена — иерархия нормальных функций, строго возрастающих от ординала к ординалу, предложенная Освальдом Вебленом в 1908 году. Если — это какая-либо нормальная функция, тогда для любого ненулевого ординала функция перечисляет общие неподвижные точки всех для Все эти функции нормальные. (ru) |
| dbo:wikiPageExternalLink | https://archive.org/details/prooftheoryintro0000pohl http://www.cs.fsu.edu/~levitz/ords.ps |
| dbo:wikiPageID | 16124925 (xsd:integer) |
| dbo:wikiPageLength | 14572 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1123339297 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Path_ordering_(term_rewriting) dbc:Proof_theory dbr:Mathematics dbr:Normal_function dbr:Epsilon_numbers_(mathematics) dbr:Function_(mathematics) dbr:Continuous_function_(set_theory) dbr:Ordinal_arithmetic dbr:Feferman–Schütte_ordinal dbr:Large_Veblen_ordinal dbr:Fixed_point_(mathematics) dbr:Oswald_Veblen dbr:Regular_cardinal dbr:Ackermann_ordinal dbc:Ordinal_numbers dbr:Cofinality dbr:PostScript dbr:Ordinal_number dbr:Small_Veblen_ordinal dbc:Hierarchy_of_functions dbr:Feferman-Schutte_ordinal dbr:Strictly_increasing_function |
| dbp:wikiPageUsesTemplate | dbt:Citation dbt:Harvtxt dbt:Reflist dbt:Short_description |
| dct:subject | dbc:Proof_theory dbc:Ordinal_numbers dbc:Hierarchy_of_functions |
| gold:hypernym | dbr:Hierarchy |
| rdf:type | dbo:Software yago:WikicatOrdinalNumbers yago:Abstraction100002137 yago:DefiniteQuantity113576101 yago:Measure100033615 yago:Number113582013 yago:OrdinalNumber113597280 |
| rdfs:comment | En mathématiques, et plus précisément en théorie des ensembles, les fonctions de Veblen forment une suite de fonctions définies sur les ordinaux, introduite en 1908 par Oswald Veblen. (fr) In mathematics, the Veblen functions are a hierarchy of normal functions (continuous strictly increasing functions from ordinals to ordinals), introduced by Oswald Veblen in . If φ0 is any normal function, then for any non-zero ordinal α, φα is the function enumerating the common fixed points of φβ for β<α. These functions are all normal. (en) ヴェブレン階層（ヴェブレンかいそう）とは、ヴェブレン関数の値からなる超限次元の行列であり、フェファーマン・シュッテの順序数 (Γ0) より小さい順序数を表現する一般的な方法である。任意の Γ0 より小さい順序数は、0 と和とヴェブレン関数の組み合わせによって、有限に記述される。オズワルド・ヴェブレンが1908年の論文にて紹介した。 (ja) В математике функции Веблена — иерархия нормальных функций, строго возрастающих от ординала к ординалу, предложенная Освальдом Вебленом в 1908 году. Если — это какая-либо нормальная функция, тогда для любого ненулевого ординала функция перечисляет общие неподвижные точки всех для Все эти функции нормальные. (ru) |
| rdfs:label | Fonction de Veblen (fr) ヴェブレン階層 (ja) Функция Веблена (ru) Veblen function (en) |
| owl:sameAs | freebase:Veblen function yago-res:Veblen function wikidata:Veblen function dbpedia-fr:Veblen function dbpedia-ja:Veblen function dbpedia-ru:Veblen function https://global.dbpedia.org/id/54viz |
| prov:wasDerivedFrom | wikipedia-en:Veblen_function?oldid=1123339297&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Veblen_function |
| is dbo:knownFor of | dbr:Oswald_Veblen |
| is dbo:wikiPageRedirects of | dbr:Fundamental_sequence_(ordinals) dbr:Veblen_functions dbr:Veblen_hierarchy |
| is dbo:wikiPageWikiLink of | dbr:Path_ordering_(term_rewriting) dbr:Von_Neumann_cardinal_assignment dbr:Normal_function dbr:Ordinal_collapsing_function dbr:Glossary_of_set_theory dbr:Epsilon_number dbr:Ordinal_arithmetic dbr:Feferman–Schütte_ordinal dbr:Phi dbr:Large_Veblen_ordinal dbr:Large_countable_ordinal dbr:Wadge_hierarchy dbr:Oswald_Veblen dbr:Fast-growing_hierarchy dbr:Fundamental_sequence_(ordinals) dbr:Bachmann–Howard_ordinal dbr:Ackermann_ordinal dbr:Greek_letters_used_in_mathematics,_science,_and_engineering dbr:Small_Veblen_ordinal dbr:Veblen_ordinal dbr:Veblen_functions dbr:Veblen_hierarchy |
| is dbp:knownFor of | dbr:Oswald_Veblen |
| is foaf:primaryTopic of | wikipedia-en:Veblen_function |