関数解析や数学の関連分野において、ジョージ・マッキーにちなんで名付けられたマッキー位相は、連続双対を維持する位相ベクトル空間の最も優れた位相です。言い換えると、マッキー位相は、デフォルトの位相では不連続であった線形関数を連続にしません。位相ベクトル空間(TVS) は、その位相がマッキー位相と同じである場合に マッキー空間と呼ばれます。
マッキー位相は、連続双対におけるすべての線形関数の連続性を保存する 位相ベクトル空間上の最も粗い位相である弱位相の逆です。
Mackey -Arens 定理は、すべての可能な双対トポロジーは弱いトポロジーよりも細かく、Mackey トポロジーよりも粗いことを述べています。
意味
ペアリングの定義
ペアリングが 与えられた場合、によって誘導される上のMackey位相は、上のすべてのコンパクトディスクの集合を使用して定義される極位相である。
に Mackey 位相が備わっている場合、曖昧さが生じなければ または単に またはで表されます。
が連続である場合、線型写像は(ペアリングとに関して)マッキー連続であると言われます。
位相ベクトル空間の定義
位相ベクトル空間(TVS)の Mackey 位相の定義は、ペアリングの Mackey 位相の上記の定義を特殊化したものです。 が連続双対空間を持つ TVS である場合、上の評価写像は標準ペアリングと呼ばれます。
で表されるTVS上のMackey位相は、標準ペアリングによって誘導されるMackey位相である。
つまり、Mackey 位相は、内のすべての弱*コンパクトディスクの集合を使用して得られる 上の極位相です。 に Mackey 位相が備わっている 場合、曖昧さが生じない場合は または単にで表されます。
が連続する場合、TVS 間の線形写像はMackey 連続です。
例
連続双対を持つすべての距離化可能な 局所凸空間 は Mackey 位相を持ちます。つまり、より簡潔に言えば、すべての距離化可能な局所凸空間はMackey 空間です。
あらゆるフレシェ空間は マッキー位相を持ち、その位相は強位相と一致する。つまり、
アプリケーション
マッキー位相は、無限に多くの商品が存在する経済に応用できる。[1]
参照
引用
- ^ Bewley, TF (1972). 「無限に多くの商品が存在する経済における均衡の存在」. Journal of Economic Theory . 4 (3): 514–540. doi :10.1016/0022-0531(72)90136-6.
文献
- ブルバキ、ニコラス(1977)。位相ベクトル空間。数学の原論。アディソン・ウェズレー。
- ブルバキ、ニコラス(1987) [1981]。位相ベクトル空間: 第 1 章から第 5 章まで。数学的要素。エグルストン、HG による翻訳。マダン、サウス・ベルリン、ニューヨーク: Springer-Verlag。ISBN 3-540-13627-4. OCLC 17499190.
- Mackey, GW (1946). 「凸位相線形空間について」. Trans. Amer. Math. Soc . 60 (3). アメリカ数学会誌、第60巻、第3号: 519–537. doi :10.2307/1990352. JSTOR 1990352. PMC 1078623 .
- ナリシ、ローレンス、ベッケンシュタイン、エドワード (2011)。位相ベクトル空間。純粋数学と応用数学 (第 2 版)。ボカラトン、フロリダ州: CRC プレス。ISBN 978-1584888666. OCLC 144216834.
- Robertson, AP; WJ Robertson (1964)。位相ベクトル空間。ケンブリッジ数学論文集。第53巻。ケンブリッジ大学出版局。62ページ。
- シェーファー、ヘルムート H. (1971)。位相ベクトル空間。GTM 。第3巻。ニューヨーク:シュプリンガー出版社。p. 131。ISBN 0-387-98726-6。
- Schaefer, Helmut H. ; Wolff, Manfred P. (1999). Topological Vector Spaces . GTM . Vol. 8 (第 2 版). ニューヨーク、NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- AI Shtern (2001) [1994]、「Mackey トポロジー」、数学百科事典、EMS プレス
