fronnyaПольза многих вещей становится яснее, если рассмотреть их все вместе. Например, представим обычное трёхмерное пространство. Множество его преобразований содержит всякую всячину, но рассмотрим некоторые его подмножества:
• непрерывных преобразований. В него не входит, например, отображение, оставляющее на месте все точки кроме точек какой-то плоскости, отображающихся всех в какую-то одну;
• аффинных преобразований: они переводят прямые в прямые. Куча непрерывных аффинными не являются;
• линейных преобразований: они вдобавок ещё и оставляют на месте выбранную нами точку;
• ортогональных преобразований: они вдобавок сохраняют и длины (и, как следствие, углы);
• ортогональных преобразований, оставляющих на месте какую-то проходящую через нашу точку прямую;
• множество, состоящее из единственного тождественного преобразования.
Как можно видеть, каждое следующее — собственное подмножество предыдущего, и функции из него сохраняют всё больше разных свойств каких-то вещей, которые мы построили в пространстве (последняя сохраняет все мыслимые). В частности, линейное преобразование сохраняет коэффициенты линейных комбинаций:
![$\mathbf a = \lambda_1\mathbf a_1+\ldots+\lambda_n\mathbf a_n \Rightarrow A\mathbf a = \lambda_1A\mathbf a_1+\ldots+\lambda_nA\mathbf a_n$ $\mathbf a = \lambda_1\mathbf a_1+\ldots+\lambda_n\mathbf a_n \Rightarrow A\mathbf a = \lambda_1A\mathbf a_1+\ldots+\lambda_nA\mathbf a_n$](https://dxdy-01.korotkov.co.uk/f/4/d/7/4d7bb0a4cdc641f71acc9de78449f7a082.png)
(а аффинное — аффинных, у них
![$\lambda_1+\ldots+\lambda_n=1$ $\lambda_1+\ldots+\lambda_n=1$](https://dxdy-01.korotkov.co.uk/f/c/a/a/caa14aa90c3b1d9d7be491a9bf11275b82.png)
).
Но зачем именно линейные комбинации сохранять? А потому что ничего лучше сохранить не получится: от векторного пространства требуется только наличие сложения элементов и умножения их на элементы поля (связанных правильным образом), а все остальные свойства могут и быть, и не быть. Так что зная лишь то, что пространство линейное, имея на руках его операции, мы из его элементов можем насоставлять только линейных комбинаций и потребовать только линейных операторов. Почему же тогда мы так мало хотим от пространства? Потому что чем меньше хотим, тем больше пространств можем рассмотреть. Факт и есть факт: линейные пространства встречаются действительно чаще, чем ассоциативные алгебры с единицей.
![Smile :-)](./images/smilies/icon_smile.gif)