En mathématiques, et plus précisément en théorie des ensembles, un ultrafiltre sur un ensemble X est une collection de sous-ensembles de X qui est un filtre, et qui n'est pas contenue dans un filtre plus grand. On peut considérer un ultrafiltre comme étant une mesure (finiment additive), et alors tout sous-ensemble de X est, pour cette mesure, soit négligeable (de mesure 0), soit valant « presque tout » X (de mesure 1). Cette notion se généralise aux algèbres de Boole et aux ordres partiels, et a de nombreuses applications en théorie des modèles et en topologie.

Property Value
dbo:abstract
  • En mathématiques, et plus précisément en théorie des ensembles, un ultrafiltre sur un ensemble X est une collection de sous-ensembles de X qui est un filtre, et qui n'est pas contenue dans un filtre plus grand. On peut considérer un ultrafiltre comme étant une mesure (finiment additive), et alors tout sous-ensemble de X est, pour cette mesure, soit négligeable (de mesure 0), soit valant « presque tout » X (de mesure 1). Cette notion se généralise aux algèbres de Boole et aux ordres partiels, et a de nombreuses applications en théorie des modèles et en topologie. (fr)
  • En mathématiques, et plus précisément en théorie des ensembles, un ultrafiltre sur un ensemble X est une collection de sous-ensembles de X qui est un filtre, et qui n'est pas contenue dans un filtre plus grand. On peut considérer un ultrafiltre comme étant une mesure (finiment additive), et alors tout sous-ensemble de X est, pour cette mesure, soit négligeable (de mesure 0), soit valant « presque tout » X (de mesure 1). Cette notion se généralise aux algèbres de Boole et aux ordres partiels, et a de nombreuses applications en théorie des modèles et en topologie. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 416800 (xsd:integer)
dbo:wikiPageLength
  • 15708 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 191448042 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:doi
  • 10.109000 (xsd:double)
prop-fr:fr
  • extension élémentaire (fr)
  • extension élémentaire (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lieu
  • Berlin, New York (fr)
  • Berlin, New York (fr)
prop-fr:lireEnLigne
prop-fr:nom
  • Comfort (fr)
  • Negrepontis (fr)
  • Comfort (fr)
  • Negrepontis (fr)
prop-fr:prénom
  • S. (fr)
  • W. W. (fr)
  • S. (fr)
  • W. W. (fr)
prop-fr:sousTitre
  • some old and some new results (fr)
  • some old and some new results (fr)
prop-fr:texte
  • extensions élémentaires (fr)
  • extensions élémentaires (fr)
prop-fr:titre
  • Ultrafilters (fr)
  • The theory of ultrafilters (fr)
  • Ultrafilters (fr)
  • The theory of ultrafilters (fr)
prop-fr:trad
  • Elementary extension (fr)
  • Elementary extension (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
dct:subject
rdfs:comment
  • En mathématiques, et plus précisément en théorie des ensembles, un ultrafiltre sur un ensemble X est une collection de sous-ensembles de X qui est un filtre, et qui n'est pas contenue dans un filtre plus grand. On peut considérer un ultrafiltre comme étant une mesure (finiment additive), et alors tout sous-ensemble de X est, pour cette mesure, soit négligeable (de mesure 0), soit valant « presque tout » X (de mesure 1). Cette notion se généralise aux algèbres de Boole et aux ordres partiels, et a de nombreuses applications en théorie des modèles et en topologie. (fr)
  • En mathématiques, et plus précisément en théorie des ensembles, un ultrafiltre sur un ensemble X est une collection de sous-ensembles de X qui est un filtre, et qui n'est pas contenue dans un filtre plus grand. On peut considérer un ultrafiltre comme étant une mesure (finiment additive), et alors tout sous-ensemble de X est, pour cette mesure, soit négligeable (de mesure 0), soit valant « presque tout » X (de mesure 1). Cette notion se généralise aux algèbres de Boole et aux ordres partiels, et a de nombreuses applications en théorie des modèles et en topologie. (fr)
rdfs:label
  • Ultrafilter (de)
  • Ultrafilter (sv)
  • Ultrafiltre (fr)
  • Ultrafiltro (pt)
  • Ultrafilter (de)
  • Ultrafilter (sv)
  • Ultrafiltre (fr)
  • Ultrafiltro (pt)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of