About: Infinite set

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Infinite set Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Conjunto infinito (pt) Ensemble infini (fr) Infinite set (en) Tập hợp vô hạn (vi) Нескінченна множина (uk) مجموعة غير منتهية (ar)
rdfs:comment	En mathématiques, plus précisément en théorie des ensembles, un ensemble infini est un ensemble qui n'est pas fini, c'est-à-dire qu'il n'y a aucun moyen de « compter » les éléments de cet ensemble à l'aide d'un ensemble borné d'entiers. Un ensemble en bijection avec un ensemble infini est donc infini. Tout ensemble contenant un ensemble dénombrable est infini. (fr)
rdfs:seeAlso	http://mathworld.wolfram.com/InfiniteSet.html https://ncatlab.org/nlab/show/infinite_set https://www.britannica.com/topic/infinite-set https://www.jstor.org/topic/infinite-sets
sameAs	Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set Infinite set
Wikipage page ID	650814 (xsd:integer)
Wikipage revision ID	182905419 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Infini category-fr:Théorie_des_ensembles dbpedia-fr:Aleph_(nombre) Alfred Tarski Axiom of infinity Axiom of choice dbpedia-fr:Bijection dbpedia-fr:Couple_(mathématiques) dbpedia-fr:Définition_par_récurrence dbpedia-fr:Démonstration_(logique_et_mathématique) Countable set Finite set Natural number dbpedia-fr:Implication_réciproque dbpedia-fr:Inclusion_(mathématiques) Injective function dbpedia-fr:N-uplet Hartogs number Lexicographic order dbpedia-fr:Produit_cartésien Richard Dedekind Disjoint union Sequence dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Théorème_de_Cantor-Bernstein Well-ordering theorem dbpedia-fr:Équipotence dbpedia-fr:Mathématiques
page length (characters) of wiki page	8552 (xsd:nonNegativeInteger)
dct:subject	category-fr:Infini category-fr:Théorie_des_ensembles
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Ind dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Ébauche dbpedia-fr:Modèle:! dbpedia-fr:Modèle:Énoncé dbpedia-fr:Modèle:Démonstration dbpedia-fr:Modèle:Cori-Lascar_II dbpedia-fr:Modèle:Krivine98
prov:wasDerivedFrom	wikipedia-fr:Ensemble_infini?oldid=182905419&ns=0
prop-fr:contenu	Soit X un ensemble infini. Pour tout entier naturel n, l'ensemble X des n-uplets d'éléments de X distincts est donc non vide, si bien qu'il existe une suite telle que pour tout n, y = ∈ X. On peut alors définir par récurrence une injection f de ℕ dans X en posant, pour tout n, f = y, où est le plus petit couple tel que y ∉ {fk < n}. (fr)
prop-fr:titre	Avec le choix dénombrable, « infini » ⇒ « infini au sens de Dedekind ». (fr)
foaf:isPrimaryTopicOf	wikipedia-fr:Ensemble_infini
has abstract	En mathématiques, plus précisément en théorie des ensembles, un ensemble infini est un ensemble qui n'est pas fini, c'est-à-dire qu'il n'y a aucun moyen de « compter » les éléments de cet ensemble à l'aide d'un ensemble borné d'entiers. Un ensemble en bijection avec un ensemble infini est donc infini. Tout ensemble contenant un ensemble dénombrable est infini. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Adam_du_Petit-Pont dbpedia-fr:Aleph-un Aleph number dbpedia-fr:Aleph_(nombre) Nonstandard analysis Tree (set theory)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software