text: Математически эти свойства обозначают, что пространство-время будет моделироваться гладким дифференцируемым многообразием 4 измерений M 4 {\displaystyle M_{4}} , то есть пространством размерности 4, для которого окрестность каждой точки походит локально на четырёхмерное евклидово пространство.