Définition
Réponses
-
La théorie "naïve" des ensembles, c'est bien suffisant. Sauf si vous aimez enc.. les mouches.
-
Salut,
Si
2100 ans après Euclide qui avait défini le point comme ce qui n'a pas de partie, Cantor a donné une définition d'un ensemble : groupement en un tout d'objets bien distincts de notre entendement ou de notre intuition.
Mais pour calmer tous ces esprits facétieux et espiègles qui s'enhardissaient et commençaient à demander : qu'est-ce qu'un groupement ? Qu'est-ce que l'entendement ?
on a décrété que c'était une notion primitive, indéfinissable -
Bonjour.
Toute théorie formelle a des notions et des objets premiers que l'on ne peut définir. Si tu y réfléchis, un dictionnaire n'est qu'un ensemble de mots circulairement définis : "Chose" voir "objet" ; "Objet" voir ... Bien entendu, les auteurs de dictionnaires remédient à cette lacune par l'usage d'exemples convenablement choisis.
La théorie des ensembles (naïve ou formelle) a pour notions premières la notion d'ensemble et la relation d'appartenance. La notion de sous-ensemble est parfaitement définie :
$$(x \subset y) \iff (\forall\,z \quad z \in x \Longrightarrow z \in y)$$
Tu constates que dans le second membre, les seul symboles qui y figurent sont le symbole primitif "$\in$" et les symboles du langage : deux variables, un quantificateur et un connecteur. On a donc une définition de la relation d'inclusion et l'on peut conclure par : "{\it On dit que $x$ est un sous-ensemble de $y$ si $x \subset y$}". Il n'y a là dedans aucun cercle vicieux.
Bruno -
Bonjour.
Merci à GG et Bruno pour vos explications.
Dans mes rêveries je m'imaginais ce que pouvait être un ensemble, ce qu'il pouvait contenir, les frontières de parties, ... mis à part ce fameux cercle avec quelques croix dedans.
Somme toute, rien de bien grave.
Christophe.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres