Здравствуйте. Прошу помочь разрешить одно затруднение.
Рассмотрим, к примеру,
![$L^p ([0,1])$ $L^p ([0,1])$](https://dxdy-03.korotkov.co.uk/f/6/1/4/6145868fd385a507f4fcc706b9cf4ef382.png)
с мерой Лебега и
![$0 < p < 1$ $0 < p < 1$](https://dxdy-02.korotkov.co.uk/f/9/a/a/9aabf4da907f13772e5b6a6a7bd8507c82.png)
над полем
![$\mathbb{C}$ $\mathbb{C}$](https://dxdy-01.korotkov.co.uk/f/8/1/3/81324f07e9ffb7920321df72cc0bee1b82.png)
. Известно, что такое пространство не является локально выпуклым, а потому
всякое непрерывное линейное отображение из
в локально выпуклое ТВП есть нулевое. Пусть
![$N \subset L^p$ $N \subset L^p$](https://dxdy-04.korotkov.co.uk/f/7/1/0/71051a594c82c5ef25a1f4d05191e04882.png)
есть подпространство конечной коразмерности. В силу единственности векторной топологии в конечномерных пространствах,
![$L^p/_N$ $L^p/_N$](https://dxdy-04.korotkov.co.uk/f/7/7/9/7793e16030fa88da2444fbc39f0c5b1b82.png)
(фактор) можно отождествить с
![$\mathbb{C}^n$ $\mathbb{C}^n$](https://dxdy-01.korotkov.co.uk/f/4/3/9/4397b563e5324f31e1f31a0dcb1c00dd82.png)
. Факторотображение
![$\pi : L^p \rightarrow L^p/_N$ $\pi : L^p \rightarrow L^p/_N$](https://dxdy-04.korotkov.co.uk/f/b/c/9/bc91fb5d1f03a80f6f19aea2b5a7652482.png)
, как известно, непрерывно. Но поскольку
![$L^p/_N$ $L^p/_N$](https://dxdy-04.korotkov.co.uk/f/7/7/9/7793e16030fa88da2444fbc39f0c5b1b82.png)
можно отождествить с
![$\mathbb{C}^n$ $\mathbb{C}^n$](https://dxdy-01.korotkov.co.uk/f/4/3/9/4397b563e5324f31e1f31a0dcb1c00dd82.png)
, а последнее локально выпукло, то
![$\pi = 0$ $\pi = 0$](https://dxdy-01.korotkov.co.uk/f/c/4/b/c4bb3cf4c8925082989b2ae78892330a82.png)
! В чем подвох?
p.s. в векторную топологию включаю также хаусдорфовость.