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)

AttributesValues
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)
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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