Re: Définitions

Le 11/05/2023 à 19:02, Richard Hachel a écrit :

Le 11/05/2023 à 17:27, Julien Arlandis a écrit :
 

J'ajouterai qu'un évènement n'appartient pas plus à un référentiel, qu'un point du plan n'appartient à un repère du plan.

 A ce tarif là, le point O origine du repère n'appartient pas au repère R, et le point O origine du référentiel n'appartient pas au référentiel S?
R.H.

Ce que dit Julien c'est qu'un référentiel n'est pas plus un ensemble
d'événements qu'un repère du plan n'est un ensemble de points.
Ce sont tous deux des moyens de définir des coordonnées d'événements ou
de points.
Mathématiquement un référentiel ou un repère c'est la données d'un
point O et de vecteurs de bases : (O,u,v,w,z) ou (O,u,v,w), ce sont
des n-uplets, pas des ensembles. Le point O est une des composantes de
ces n-uplets, pas "un membre" au sens de la théorie des ensembles.
(on pourrait pinailler en parlant de la définition de Kurtowski en
théorie des ensemble : (x, y) = { {x}, {x, y} } ; mais ce n'est pas
pertinent, cette représentation n'est pas intrinsèque).
Et puis bon, la théorie des ensembles ça te passe largement au
dessus de la tête, comme bien des choses...