Bonjour,
J'aimerais savoir si l'objet qui suit est légitime :
'Nouvelle notation concernant la notion de limite d'une famille de partiesde
dont la limite est une partie non bornée
de
, excluant la notation classique, et notion de plafonnement à l'infini "
", avec
:
Soit.
Soitest un ensemble totalement ordonné.
Soitune partie non bornée de
.
Soitune famille de parties de
telle que
.
Alors on exclut cette dernière notation et on {lui préfèrela remplace par} la notation plus précise et dépendante de la famille
,
.
"" est appelé le plafonnement à l'infini de la partie
de
et de la famille de parties
de
.
Plus précisément, la définition et la notation usuelles de limite d'une famillede parties de
, dont la limite est une partie non bornée
de
, sont définies et données par :
.
'''En excluant la notation usuelle de cette définition usuelle et en la remplaçant par la nouvelle notation''', on obtient :
.
NB : Ce changement de notation n'est pas sans conséquences.
Cordialement,
jet56
-----