Sous-ensembles vs sous-ensembles appropriés
Il est assez naturel de réaliser le monde en catégorisant les choses en groupes. C'est la base du concept mathématique appelé «théorie des ensembles». La théorie des ensembles a été développée à la fin du XIXe siècle, et maintenant, elle est omniprésente en mathématiques. Presque toutes les mathématiques peuvent être dérivées en utilisant la théorie des ensembles comme fondation. L'application de la théorie des ensembles va des mathématiques abstraites à toutes les matières du monde physique tangible.
Le sous-ensemble et le sous-ensemble approprié sont deux terminologies souvent utilisées dans la théorie des ensembles pour introduire des relations entre les ensembles.
Si chaque élément d'un ensemble A est également un membre d'un ensemble B, alors le jeu A est appelé un sous-ensemble de B. Cela peut également être lu comme «A est contenu dans B». Plus formellement, A est un sous-ensemble de B, indiqué par a⊆b si, x∈A implique x∈B.
Tout ensemble lui-même est un sous-ensemble du même ensemble, car, évidemment, tout élément qui est dans un ensemble sera également dans le même ensemble. Nous disons «A est un sous-ensemble approprié de b» si, a est un sous-ensemble de B mais, A n'est pas égal à B. Pour indiquer que A est un sous-ensemble approprié de B, nous utilisons la notation a⊂b. Par exemple, l'ensemble 1,2 a 4 sous-ensembles, mais seulement 3 sous-ensembles appropriés. Parce que 1,2 est un sous-ensemble mais pas un sous-ensemble approprié de 1,2.
Si un ensemble est un sous-ensemble approprié d'un autre ensemble, c'est toujours un sous-ensemble de cet ensemble, (i.e. Si A est un sous-ensemble approprié de B, cela implique que A est un sous-ensemble de B). Mais il peut y avoir des sous-ensembles, qui ne sont pas des sous-ensembles appropriés de leur sur-ensemble. Si deux ensembles sont égaux, alors ce sont des sous-ensembles l'un de l'autre, mais pas un sous-ensemble approprié l'un de l'autre.
En bref: - Si A est un sous-ensemble de B, alors A et B peuvent être égaux. - Si A est un sous-ensemble approprié de B, alors A ne peut pas être égal à B.
|