dbo:abstract
|
- Familio de aroj estas de finia speco se ĝi havas jenajn propraĵojn: 1.
* Por ĉiu , ĉiu subaro de apartenas al 2.
* Se ĉiu finia subaro de donita aro apartenas al do apartenas al (eo)
- In mathematics, a family of sets is of finite character if for each , belongs to if and only if every finite subset of belongs to . That is, 1.
* For each , every finite subset of belongs to . 2.
* If every finite subset of a given set belongs to , then belongs to . (en)
- En mathématiques, un ensemble de parties de caractère fini d'un ensemble E est un ensemble de parties de E tel que pour toute partie A de E, on a l'équivalence entre l'appartenance de A à d'une part et la propriété que toute partie finie de A appartient à d'autre part. Tout comme la notion d'ensemble inductif permet d'énoncer le lemme de Zorn, la notion d'ensemble de caractère fini permet d'énoncer un principe de maximalité équivalent à l'axiome du choix. Ce principe de maximalité permet de démontrer certains théorèmes d'existence, tels que l'existence d'une base pour tout espace vectoriel, plus simplement qu'avec le lemme de Zorn. Il a été introduit par Nicolas Bourbaki en 1938, puis énoncé par Oswald Teichmüller en 1939 et John Tukey en 1940. (fr)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 2595 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:id
| |
dbp:title
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
rdf:type
| |
rdfs:comment
|
- Familio de aroj estas de finia speco se ĝi havas jenajn propraĵojn: 1.
* Por ĉiu , ĉiu subaro de apartenas al 2.
* Se ĉiu finia subaro de donita aro apartenas al do apartenas al (eo)
- In mathematics, a family of sets is of finite character if for each , belongs to if and only if every finite subset of belongs to . That is, 1.
* For each , every finite subset of belongs to . 2.
* If every finite subset of a given set belongs to , then belongs to . (en)
- En mathématiques, un ensemble de parties de caractère fini d'un ensemble E est un ensemble de parties de E tel que pour toute partie A de E, on a l'équivalence entre l'appartenance de A à d'une part et la propriété que toute partie finie de A appartient à d'autre part. (fr)
|
rdfs:label
|
- Ara sistemo de finia speco (eo)
- Finite character (en)
- Ensemble de parties de caractère fini (fr)
|
owl:differentFrom
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |