No.1ベストアンサー
- 回答日時:
関数解析の本なら大体載っていると思いますが一応定義を説明してみます。
一般には局所凸空間の話でseminormの族で開集合の近傍基を定義して位相を決定します。今の場合はseminormはX*上の(ノルム)連続線形汎関数で与えられているので各点xおける開近傍基V(x;ε_1,...,ε_n;F_1,...,F_n)は任意の正数族ε_j、汎関数族F_jに対して以下で定義されます:V(x)=∩_{j}{y: |F_j(y-x)|<ε_j}
X**における開集合Aとはその各元xに対してxを含む上の形の集合でAに含まれるものが存在する集合として定義されます。ちなみにx∈Xはφ∈X*に対してx(φ):=φ(x)と定義することによりX**の元とみなされます。したがって上で与えたseminorm族にXも(この意味で)含まれることになります。
さて上で与えた位相が各F∈X**に対して連続になっているかということですがこれは上の開集合の定義から自明です。というのもx∈Xにおける連続性は
{y:|F(y-x)|<ε}がXにおいて開集合であるかどうかにかかっているわけですがこれを開集合族の一部として先程定義したばかりですから結局ただの言い換えに過ぎません。すなわちFはその位相に関し連続です。逆にX**における汎関数をとったときにそれが連続になるためには上で定義した集合がX*において開集合である必要があるのも明らかだと思います。したがって上で定義した位相が各(ノルム)連続線形汎関数を連続にするための最小のものであることが分かります。ここで注意すべきところはX*上には色々な位相が定義されているということです。一番身近なのものがノルム(強)位相です。この位相で連続なもの全体をX**で表しています。しかしこのノルム位相(X*上での)が実は強すぎてX**の元がX*上でもっと弱い位相でも連続であることができるというのが上で述べていたことに他なりません。有限次元ではすべて同じ位相になってしまいますが無限次元だと両者は異なります。これとは別にweak*と呼ばれるさらに弱い位相を定義することもできます。これは先程seminormとして連続線形汎関数全体をとった変わりにその一部X(x∈XはX**の元としてみなされることは上で説明したとおりです)をとって上と同じく近傍族を定義します。これも無限次元の場合には一般に真に弱位相より弱くなります(正確にはXが回帰的ではない場合)。このようにXから始まっていろいろ位相が定義されていきます。興味があればvon Neumann algebraの方の本も見てみるといいと思います。そこでは更に色んな位相が定義されています。例えばKadison-Ringrose、Sundersなどの代表的な本があるのでそちらを参考にしてみてください。
どうも丁寧な説明ありがとうございます.
「ちなみにx∈Xはφ∈X*に対してx(φ):=φ(x)と定義することによりX**の元とみなされます。」
についてなのですが,私はx(φ):=φ(x)とみなすのは弱*位相だと思っていたのですが,弱位相ではx∈X**以外にX**の元がたくさんあるということなのでしょうか?
No.4
- 回答日時:
>>確認なのですが.回答No.1においてxという文字をN*の元という意味とXの元という意味両方で使われていますよね??
N*というのはX*のことでしょうか?xという文字で(暗に)場合によってXの元としてみているときとX**の元としてみてはいますがX*の元としてはみていません。
どうやら勘違いしていたみたいです.
V(x)=∩_{j}{y: |F_j(y-x)|<ε_j}
はxの近傍なのですね.
私はf∈X*の近傍と勘違いし
V(f)=∩_{j}{g: |F_j(f-g)|<ε_j}
と解釈していました.
No.3
- 回答日時:
>>XがX**に含まれるというのはどう解釈したらよいのでしょうか?
これは最初の回答に書いた
「x∈Xはφ∈X*に対してx(φ):=φ(x)と定義することによりX**の元とみなされます」
の部分に対応しています。この意味は理解できましたか?
これを認めてもらえればXがX**に含まれていると見れるというのも分かると思います。そして逆(すなわちX**がXに含まれる---これは正確にはある単射X**→Xが存在するということです)は一般には成り立たないだろうというのも感じらるのではないかと思いますが。
>>X**の元がXに一致するならX⊂X**ではなくX=X**ではないのですか?
X**の元がXに一致するとは言ってません。むしろ逆です。上で述べたようにXの各元がX**のある元に対応付けられるということです。
ありがとうございます.
なるほど!X**の元すべてに対してXの元が対応するような全単射が存在するのだと勘違いしていました.
確認なのですが.回答No.1においてxという文字をN*の元という意味とXの元という意味両方で使われていますよね??
No.2
- 回答日時:
位相と集合を混同していませんか?
>>x(φ):=φ(x)とみなすのは弱*位相
言おうとしているところは私の使った言葉で言うなら
x(φ):=|φ(x)|で定義されるsemirom族から得られる位相が弱*位相ということでしょうか?そういう意味なら合っています。少し言葉使いが不自然に感じられました。そのようにみなすということは別に位相云々の話ではなくあくまでもX**の元を具体的にXの元を用いて"作った"ということに過ぎません。
>>弱位相ではx∈X**以外にX**の元がたくさんあるということなのでしょうか?
言おうとしているところはX**の元はx∈Xだけではないのかということでしょうか?それならその通りですがこれもまた弱位相云々の話ではなくX→X**がx(φ):=φ(x)によって全単射かどうかということに過ぎません。弱位相や弱*位相などすべてX**の元が最初に与えられて決まるものです。
>言おうとしているところはX**の元はx∈Xだけではないのかということでしょうか?それならその通りですがこれもまた弱位相云々の話ではなくX→X** がx(φ):=φ(x)によって全単射かどうかということに過ぎません。
たしかに位相と集合を混同しているみたいです.
X**の元がXに一致するならX⊂X**ではなくX=X**ではないのですか?XがX**に含まれるというのはどう解釈したらよいのでしょうか?
弱位相と弱*位相とで連続したいX**の元がまったく同じに思えてしまうのですがどうちがうのでしょう??
何度もすいません.よろしくおねがいします.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
べき乗
-
定義付けできない言葉について
-
「互いに素」の定義…「1と2は互...
-
複雑な家庭とは
-
数学の両辺2乗と√について教え...
-
1wordとは、何文字ですか?
-
1未満と1以下の違い
-
「logx^2=2logx」が間違って...
-
ACCESS VBAでインポート定義の場所
-
単調増加、単調減少の x の範囲
-
エクセルVBA 「名前の定義」に...
-
点と線について
-
p⇒q=(¬p)∨qについて
-
Access 2013 でADOがうまく使え...
-
三角関数(たとえばf(x)=sinxと...
-
中学数学”平方根”
-
Σ[k=0,n](x^k)/(k!)
-
lim n→0 =n=0となりますが lim ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
複雑な家庭とは
-
「互いに素」の定義…「1と2は互...
-
べき乗
-
日本語 ことば ひとまわり ふた...
-
1未満と1以下の違い
-
最大元と極大元の定義の違いが...
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
eの0乗は1ってどういう原理です...
-
ACCESS VBAでインポート定義の場所
-
ヘシアンが0の場合どうやって極...
-
ACCESS IIF関数 複数条件の設...
-
画像の説明で一番最後の閉包作...
-
5桁の整数nにおいて,万の位,...
-
“半日”って何時間のことなんで...
-
0^1(0の1乗)はいくつでしょ...
-
√6=√(-2)(-3)=√(-...
-
lim n→0 =n=0となりますが lim ...
おすすめ情報