有限次元線型位相空間の位相の入れ方: $T_2$ なら一意的

この記事は2分で読めます

中高の数学の復習から専門的な数学・物理までいろいろな情報を発信しています.
中高数学に関しては中高数学駆け込み寺,
大学数学に関しては現代数学観光ツアーという無料の通信講座があります.
ご興味のある方はぜひお気軽にご登録ください!

線型位相空間としての (\mathbb{R}^n) に入る位相について次のようなやりとりをし, 文献を教わった.

@phasetr @ilovegalois R^n に対しては実位相線形空間としての位相の入れ方は一意的です.

無限次元の時のみ問題になります.

@hymathlogic 証明どこにあるでしょうか. 読んでみたい

@phasetr 帰ったら返信します.

(一意というのは正確には間違いで T_0 なら一意です)

@phasetr http://www.math.ksu.edu/~nagy/func-an-2007-2008/top-vs-3.pdf これなんてどうでしょう

(T_0) とはいえ分離公理が効いているというの, なかなか戦慄させてくれる.

というわけで Gabriel Nagy による Topological Vector Spaces III: Finite Dimensional Spaces を読み進める.

(\mathbb{K}) を (\mathbb{R}) または (\mathbb{C}) とした線型空間での議論をしている.

線型写像を基礎にして位相を議論していく.

In this section we take a closer look at finite dimensional topological vector spaces,

and we will learn that they are uninteresting from the topological point of view.

そうだったのか.

Exercise 1.

Show that the only other linear (non-Hausdorff) topology on \(\mathbb{K}\) is the trivial

topology \(\mathfrak{T} = \left\{ \emptyset, \mathbb{K} \right\}\).

何だと.

Theorem 2.

For a topological vector space \(\mathcal{X}\), the following are equivalent:

(i) \(\mathcal{X}\) is finite dimensional;

(ii) \(\mathcal{X}\) is locally compact.

Hilbert 空間ですら弱位相でないと単位球がコンパクトにならないのでその意味では関数解析を学んでいれば「自明」に近い事実だが,

改めて見ると衝撃的だ.

それはそうと, 山元さん, (T_0) という風に書いているが, この文献では (T_2) の枠内での議論だ.

(T_0) で言えるのだろうか.

あと, 線型位相は必ず (T_2) とかいう話だったろうか.

今すぐチェックする気力が出ないので, 今度確かめたいが, いつになることやらということで悲しみ.

(T_2) というと我らが zena_mp さんに怒られそうな気もする.


中高の数学の復習から専門的な数学・物理までいろいろな情報を発信しています.
中高数学に関しては中高数学駆け込み寺,
大学数学に関しては現代数学観光ツアーという無料の通信講座があります.
ご興味のある方はぜひお気軽にご登録ください!

  • このエントリーをはてなブックマークに追加
  • LINEで送る

関連記事

  1. この記事へのコメントはありません。

  1. この記事へのトラックバックはありません。

このサイトについて

はじめまして。相転移Pです。数学・物理の情報を中心にアカデミックな話題を発信しています。このサイトを見て興味があればぜひご連絡ください。 mail: phasetr@gmail.com LINE: oxg2753d
  • このエントリーをはてなブックマークに追加
  • LINEで送る

YouTube チャンネル登録

講義など動画を使った形式の方が良いコンテンツは動画にしています。ぜひチャンネル登録を!

メルマガ登録

メルマガ登録ページからご登録ください。 数学・物理の専門的な情報と大学受験向けのメルマガの 2 種類があります。

役に立つ・面白い記事があればクリックを!

記事の編集ページから「おすすめ記事」を複数選択してください。