11/10/25 22:28:24.37
>>67
いやGrothendzieckというのはBanach空間に対する属性であって反射的よ
りもちょっとだけ弱い性質ですよね。その一方で核型というのはFrechet
空間に対する属性で、つまりBanachよりも広いクラスであるFrechetに対
して有限次元性を課す条件ですよね。（確かBanach空間に対して核型を
要求したら有限次元しか残らなかった筈：正確ではないので確かめてか
ら使って下さい。）方や反射的というのは原点の基本近傍系の形の事を
言うてるのであって、でも有限次元性は全く要求しませんから。（反射
的の典型例はHilbert空間。）その一方で核型空間の典型例であるFSな
んてのは反射的にはナリマセンからね。
だからその感じはかなり違うと思いますね。
猫
69:猫は毒舌 ◆MuKUnGPXAY
11/10/25 22:30:48.03
訂正：
Grothendzieck → Grothendieck
猫
70:１３２人目の素数さん
11/10/26 00:08:34.05
>>68
アホか。Frechetでない核型空間もあるわい。
核型の定義を少し弱めてBanachであることを回復させたのがGrothendieckだろ。
71:１３２人目の素数さん
11/10/26 00:20:44.04
そういえば判らないことはグロに聞け！とかいう
スレが昔あったな。
72:猫は毒舌 ◆MuKUnGPXAY
11/10/26 03:22:13.48
>>70
ああ、そうですか。私は詳しくないんで、ちゃんと教えて下さい。ほんで
その「Frechetでない核型」ってどんなんですかね？
猫
73:１３２人目の素数さん
11/10/26 03:43:26.43
>>72
定義くらい調べてから聞けやボケ。核型空間は完備である必要すらない。
そもそも一番代表的な核型空間であるコンパクト台C^\infty関数の空間ってFrechetかあ？
74:猫は毒舌 ◆MuKUnGPXAY
11/10/26 06:55:21.52
>>73
なるほど。今定義を確認したら完備性はFrechetの定義の一部だけど、で
もlocally convex linear TVSには完備性の要求はありませんね。だから
そのC_c^\infty(any open set in R^n)とかは後者の範疇で、完備じゃな
いから当然にFrechetではありませんね。だからFrechetではない核型は
ソレで、従って問題の核型というのはFrechetよりも広いクラスに対する
概念で、まあいずれにせよBanachよりも（かなり）広いクラスに対する
有限性の条件ですよね。まあだからNuclearityはReflexivityとは違う属
性の記述ではないかという事を言いたかっただけですけどね。
ご指摘をどうも有り難う御座いました。
猫
追記：
私の認識ではNuclearityはテンソル積の位相の一致なので、従って完備
性はその定義の一部かと思うてましたわ。私はこういう話はかなり苦手
なもんで。
75:１３２人目の素数さん
11/10/26 07:09:29.21
>>70
アホか。核型なBanach空間は猫の言うとおり有限次元だ。
核型作用素の空間と勘違いしてんじゃないのか？
76:１３２人目の素数さん
11/10/26 09:22:37.50
>>75
アホか。核型の定義を「弱めて」と書いてるので、
核型かつBanachな空間の話はしていない。
>C_c^\infty(any open set in R^n)とかは後者の範疇で、完備じゃな
いから
いやいや、それは完備。さすがにこれは基本中の基本だろ・・・
核型Frechet空間に、帰納極限なりdualとるなり、適当な操作を
施したらいくらでもFrechetでない完備核型空間なんて作れまんがな。
77:猫は毒舌 ◆MuKUnGPXAY
11/10/26 11:17:05.20
>>76
ちょっとセミノルムを教えて下さい。もう一度考えてみますので。まあ
そういう基本が出来てないのが私のアカン所ですね。
猫
78:猫は毒舌 ◆MuKUnGPXAY
11/10/26 11:18:29.41
ああ、そうそう。ソボレフの埋蔵定理。ソボレフチェインとか。今から
ちょっと復習しますワ。
猫
79:１３２人目の素数さん
11/10/26 13:05:46.46
>>77
Banach空間 C_c^r([-a,a]) に対して r について射影極限を取った後、
a について帰納極限をとる。
80:１３２人目の素数さん
11/10/26 13:06:46.91
最近の哲也は真面目やのー
感心感心
81:１３２人目の素数さん
11/10/26 13:13:05.03
>まあだからNuclearityはReflexivityとは違う属性の記述ではないかという事を言いたかっただけですけどね。
ついでに言うと、任意の核型空間は半反射的だよ。
さらにbarreledを仮定すると自動的に反射的になる。
82:１３２人目の素数さん
11/11/19 10:37:53.15
電波テロ装置の戦争(始)
エンジニアと参加願います公安はサリンオウム信者の子供を40歳まで社会から隔離している
オウム信者が地方で現在も潜伏している
それは新興宗教を配下としている公安の仕事だ
発案で盗聴器を開発したら霊魂が寄って呼ぶ来た
<電波憑依>
スピリチャル全否定なら江原三輪氏、高橋佳子大川隆法氏は、幻聴で強制入院矛盾する日本宗教と精神科
<コードレス盗聴>
2004既に国民20%被害250～700台数中国工作員3～7000万円2005ソウルコピー2010ソウルイン医者アカギ絡む<盗聴証拠>
今年５月に日本の警視庁防課は被害者SDカード15分を保持した有る国民に出せ!!<創価幹部>
キタオカ1962年東北生は二十代で2人の女性をレイプ殺害して入信した創価本尊はこれだけで潰せる<<<韓国工作員鸛<<<創価公明党 <テロ装置>>東芝部品)>>ヤクザ<宗教<同和<<公安<<魂複<<官憲>日本終Googl検索
83:１３２人目の素数さん
11/11/19 10:39:13.91
魂は幾何学
誰か(アメリカ)気づいた
ソウルコピー機器
無差別で猥褻、日本は危険知ったかブッタの日本人
失敗作
資料を忘れずに
84:１３２人目の素数さん
11/11/21 04:35:46.46
行列の行列式の概念を有界線形作用素に対して拡張した概念って何ですか？
85:１３２人目の素数さん
11/11/21 21:51:18.09
バナッハ空間に反射的という性質を付け加えることでどういういいことがあるのですか？
86:１３２人目の素数さん
11/11/30 11:33:23.01
>>84
トレースクラスとフレドホルム行列式
87:１３２人目の素数さん
11/11/30 12:22:12.24
>>4
ない。
88:１３２人目の素数さん
11/11/30 15:58:07.88
爆発空間