Ковариантность и контравариантность (математика)
Если в линейном пространстве введено скалярное произведение formula_48 — билинейная форма (или в тензорной терминологии — "дважды ковариантный тензор"), обладающая свойствами симметричности и невырожденности, то такие пространства (конечномерные) называют "евклидовыми" (при условии положительной определённости соответствующей квадратичной формы formula_49) или "псевдоевклидовым" (без ограничения знака квадратичной формы). Соответствующий этой билинейной форме тензор называют "метрическим тензором". Компоненты этого тензора в данном базисе formula_50. Если этот базис ортонормированный (такой базис всегда существует в (псевдо)евклидовом пространстве), то матрица компонент является диагональной. На диагонали в случае евклидового пространства — единицы (единичная матрица). В случае псевдоевклидового пространства на диагонали кроме единиц имеются также и «минус-единицы». В общем случае, однако, базисы могут быть не ортогональными, поэтому метрический тензор может быть представлен и недиагональной матрицей (тем не менее в «плоском» пространстве всегда существует преобразование базиса, которое приводит его к диагональному виду).
Единичный квадрат
Единичный квадрат является единицей измерения площади фигуры. Измерить площадь фигуры — значит найти отношение площади фигуры к площади единичного квадрата, то есть сказать, сколько раз единичный квадрат может быть уложен в данной фигуре. Есть все основания предполагать, что так определяли площадь математики Древнего Вавилона.
В «Началах» Евклида не было единицы измерения длины, а значит, не было понятия единичный квадрат. Евклид не измерял площади числами, вместо этого он рассматривал отношения площадей друг к другу.Неизвестно (на 2011 год), существует ли точка на плоскости такая, что расстояние до любой вершины единичного квадрата является рациональным числом. Однако известно, что такой точки не существует на границе квадрата.