Finsler 空間の部分空間について
10
0
0
全文
(2) . 第3巻 第2 号. 学,. 襲. とを知る。. 〔定理”〕 自己逆対称な循環の数γは次の通り。. し、 且つ1 1位の約組にのみ属することが知ったが、 その 個数はいくらか。 5) すべての図形のうちで線対称なもの 点対称なも 、 のはそれぞれ何個あるかJ 4 ) 循環の数スを求める式を 弱q l rの函数を用いない e. ′ ・ ネ ー) 2匹 割 1 叫;奇数ならば・? ,. 2 n / ‐2 n が偶数ならば、γ=2 2-1)!( 2十ー) / (n / ー 1 , 1 3 S ,解 決 以上によって同形類の 数の が求められる。 即ち. 1 ( ′ 1 1. 〔定理12〕 n 個の要素から成る円順列の同 形 類 の 総 数、 従って n 点図形の類型の数 のは次式で輿えられる。. 噛;奇数ならば、 の →{ね必 覗2 (&デ)!} 、. nが偶数ならば、 』 神 秘 脚(テ リ!. ′p よって t 1 )聖 ” - トだのsの (÷) s ( )-“(1 ) ) 8 ( p =sくめ -s(1) .. 更に定理5 に よ る と、 t(p)=(p-i); -の(p). 上式によって1 1の種々の値に対する同形類の数を実際. =( )中 り ! -(pー1) 1 ,. 定選 .6によって (pー1)! 」 q)-1)三0(mod.p).. に計算してみると次のよ 科こなる。 5. 2. 4. 6. 7. 8. 従 って. 11. 9 110. 6 は同定理の一種の拡張と見られよう 。. 最後に、 定理7から整数論的な一結論が出る。 即ち dー1 2三0 (mod n〉 刃 (dー1)!(n/ d) d)〕 〔中(n/ . .. 文末に図示 しておく。. ず. L P) (p-1)! ミ ー1 ( 0 ( 1 1 1 ,. l 即ち Wi s on の定理が導かれたことになる。 故に定理. 12 39 2021 2 9468834ラ5 19 i. 筒1 1=3 ,5 ,6 ,4 ,の五場合を実際に徴討した結果を ,7. む. で簡単に表わし得るか。 例えば Z ギ(n)=n のように。 5) n の奇偶に関せず の を統一的に表わす式がある か。 1) ,2) ,3) については部分的な結果を得ているが、 他日発表 したいと思う。 次に定理6の特別の場合と して、d=nで、 n が素数で. ある場 合を考える。1 1を p と書き換えると、 定理 5 に. (針3 ) } . d腕 1 1 ( - 9 ー 但し ス 』!( ) 国 ÷) 一汁 - 〕,. 4. 昭和27年2月. かo 2) 完全な循環は n が偶数であるときに限って存 在. 以上の帰結に結論 20) を考慮して次の定理を得る。. 3. 第 二 部. . ぴ. (1) (x , y) は x と y との最大公約数を表わす。 ぐ2) 高木貞治:初等整数論講義 58頁参照 3) 同書 57頁参照。 ( (4) 同署 59頁参照,. 以上によって問題は一際解決されたが、 これに関連し て 次のような問題が擾頭する。 1) 各約組には自己逆対称な循環が何個ずつ含まれる. Fins ler. 空間の部分空間につ いて. 菊. 重. 地. 隆. 北海道学聾大学旭川分校数学研究室 8hi t f a Fi l aka KIKUC上“ ; St lb8pace o ge ps e r spacぐ. 暮1 ま え が き. )により奥えられ その部分塞間の ツ ド接続は CA I rANI に 、. 次元室間. l(i=ー 2F …・n) と し ×, , の 堕標 を x , 、 ′ L d s t i =~ 線の長さが ( x x l 曲 r塞 s e n , ノ で典えられる F n. ′ヒ 素i ; * ー 間(披キ こx. 6 7 ) 本 部の DAVIEs 理 論 も 放り Rwハ ) によ LD t p ・ovlc 1 . . , Hハ 、. り研究されて居る。 特に本部先生により、 リーマン室間 , を拡張 して F に於ける所諮 D S,mb。 の公式. 醐. 幽u ppm と名付け. ′ に つ き 一 次 の 費 次 式 と する ) の ユ ー ク リ る。 L は x 。. Ga i の方程式を導き DハV t l s s z S は更に本部先 ,Codaz 、 .IE. 67.
(3) . . 1 vo .2 .3 , No. i r on の理論を述べ o rnmt 生の理論を少 しく改良 じ(、De t ene て、 Fr かぎ 参考にL 1 t B s の樫論を て 居る。 こ 〉では ついて述 塞間に の公式のより簡単な形・ 及測 地的な部分 べたいと思う。 先づ C^R嘘N のュー クリッ ド接続をリーマン塞間の 自然な拡張の意味で求めたいと思う。. 』 ずみ. 1 ( ) .1. aF. 1キ0 =i鵡 め 組i i 膏屈r a廓 g. とする。 ′ iの方向に夫々一つ宛の方向を附加 今 Xn の各点にx ′ i(x) と考えら i=× した ▽ector‐Bold を 考えると、 x′. (1 .4) よ り. ー ) ( ,5. iKx) に関する 間の基本テン ゾルと見徴される。 この g. -- i ふ ま I鵬 胆閣 の sym C j. ま明か ツ ド接続を輿える事ふ この 噂 は一般のュ←クリ , 具える事より である。 今この G~ を求める に、 基接続を身 (1 。6). 薮を こ. lの ′ * 関する C I i ー証e r s 1 も り はg j jrx ,x . ′ k=0 i r x i g g ー j ‘ k-能 とする, 明かに C r t の方向への微分の接 r l tors emen uppo 依って特に e 続後数として. (励. i i も, ド -{j一 道LKも逆に ,. を考えると、 これは x′k の x に関する偏微分を含ま l t への-リュ←クリッ ド接続 tors r l l o ) ない故 e eme up l 2 ) の接続径数に外な らな 桂数を興える。 これは 1韻LOR し、 o. i ′ j逆 に ti 叉 B蹴 織 卵 の接続は{jk}× j ,. 故に ン (L7. ′ j 1 gix が J-c. i / ′ k=2( い j G は・に も J x x. ′ ′ -E g ′ な g 1‐ 開 き } × . n , , , 川 --j~}×. 〕 に代入すれば 之を (ー ,5 ′ ー く - {+ qkdx x (LIO) ①キニ rふき1. 曲に. i i s 量 l k 1 i 」 ・吾輩 g ( ) 磁 ー{J--C . - 勝; 十C I ご rAN のュークリッ ド接続を輿える。 (1 .lo) は CA. N のュークリッ ド接続の導入さ 以上の事より CARTハ . ) i . な 像=01 i l r寡聞 (以後 Fuで表わす) .は Ro e n s れた F ,. i l. fek tor t の vec o r ) るとき、 即ち平行な elementofsopl r l t o l l eme を許容するときは、 任意のテン ゾルの e 分は d せたときの絶対微 6 l e 、 に移動さ t をこの ) sul por ゾル とするリーマン ′ 本テ 誓 ン を基 = ) x ) ) ( ( i x x gもバx J , 塞間と見徴した場合の絶対徴分に等しい事が到る。 Fn の部分峯間 Fm(m<n )が i(y も i ;= .…,峨・ ) a=1 :x , (1 ,2 .j2) x. i. で輿えられて居るとするo. さ式を補足する事より、 これを用いて議 続径数の座標饗弱. ) (L4. i. 1 ) に代入すれば 之を ( .7. aG =2Gi として、 瀦す‐簾派 = ri - くと置いたもの は明かに接. 含まぬ ものである べき敵. 唖 毛. k を縮合すれば 之に X′. ー 【 な′. ゑ 論して居る。 そこでー般のユ←クリッ-接続は a掛 を. ′ j Gは き = の3x. i ′ ′ j)耐( j C - 一( { j }× - -gx. (1 ,8). 茎. 審 -む- 信一 鴎! -茎キ 、竺 , ,. i u i) k d x { ℃G≦8 キ( j--CM ; 冊 k. ′ i 十C 寺 kdx(. 」 ′ れ、 g i J(x) と な り、 一 つ の り マ ン 峯 1 ,Kx,x(x)=g. i - ) {i ( ・2 ,. Feb . ,1952. GAKU(回1 S起Gr ーON B. 録 し = B とおく F に ム 。 m. も ÷ で涼. t は Fm に接するもの、 即ち 1 or 於ける elementof supl. ′ i=B r x ,y. i}+ ~-器‐ (三gj 爾 ぷ1 ,k. ′ a 一 宇 -)と老ぇる鞠 け る。F 1 - -の y. 第一基本テン ゾルは. ー ( ,の. ′ ー 【 i)《 料 率- s x -cm 茎 キ g. ′ a)F F →{L ( もy xび) ,B. より. より、 座標 鰍 に対して 帯 ÷と同じ愛換法則隊 従う. ▽・14) ga 1 )=. ′ i の函数を仮定し、 之を 一Gた とする。 即ち基接 i x ,x. て奥えられる。. u キ た を仮定する訳 である。 この 一Gた を用い、 続佳数(. . ; = B き AI 謬壇獅b 臨. リドマン塞間のときと同様に Fm の 各 点 に 一 つ の. 68.
(4) . 第3巻 第. 号. 学. 悌 二 部. 墜. ′ ′ l a emen tofs e )を 附加 し、 それにつきざi l r t(y ) (x u l po ,x. に関して B L に垂直な (n→1 ・ ) 個の 醜こ垂直な単位法. {鴎, ,Tk ; (2 .6) DTA ・ ,F dTA .r 唖 畷 -① に十 一 c 十 C」dyに; のR 但し. のも= r」dy .. ……n) なる混合テン ゾルを導く。 之等の量に関 しては. = rもd. qbg Br=g i j酷. dJ5 ). ニc も 堺) CrBム. )C鼻ご み Br C C I IF O ,. なる関係を満足する。 更に以後必要上-. L 霧」-T”b L 謙 一Tm 一 辺‐T 」 o. を奥える。 貝丑ら 惑 (2 .7). ; ニに二 2 8 {ニデ ) ;謙二 ( . . ′ ) , Bムya)dt=. この節では induced connection に つ い て 遊 べ る。 Fn の. 絶対微分は. ′ i+rキ vi k i( &i=d▽ IXに 十 qkv IX ー (. ′ Fm の各点で定義された ▽ a t rviGn o e c )については ,y i ゴメ ーd▽ ′ i十 ド メdy c十( G (2 ぞ .2) D▽ ー f 。戦け. 2 ) ( ,9. . き =戸 毎疎 弓。= 肇 MA」r , ,. ざ) -- E喜(Bみ そ 標すB ‐ ・ ′. *.. なぞ 琢(臼い き謝り. i R に関し ′ れ 以上 .の事より、 y に関し零次費次な v, V ては 1. . 1. -. , o 2 { ( ノ え 談話こ 二言臨も. 紘に. 勲に. 謝れ ニ 3 2 ( ) ヒ ニーr. (…. 鑑L一 寸 r D〆 =洲a e+ 〆」▽“ d g 【 e y. (B』= 晶 お). ”). ,. .. Dcマヒ ▽ hメーA」 〆. (2 ,ID. i=Bムメ に対し て は 特に Fm に接する ▽ector v 、. Fmfこ於ける絶対微分を、 Fm えの射影で定義すると i; dが 十 r書VM F (2 ‐4) D▽a コ BrD▽ ,. 1 ( ) D。 が. aa. ’ k. v - 峨trg - -- -- 。十′憶 ≠ ; ac y. 1 0 ) ( ) ( l の性質を こ の Dc, Dd は D と共に所謂 D‐Symbo. c dy′ 十 C8がb. 紘に. 有する。. rルーB r(Bい rふみ三). 0 1. 1 ( a 2 ( ) CGF C 好 一きB菩 う 』 ・5 a繋 g . d a 喜 ay^ ・ b ′ aFを÷g ay 之より 般に Fm で定義きれる任意のテン ゾル、 例え . a コ が コ dl n十r&dyc D1. (2 ) を (2 .2) 及 (2 .4) に代 入すれば .7. ン室間のときと同様に Fn , えの射影によるもの、 即ち inducc されたもの 二種考えられ、 且一般には異なる。. . Cもdき. ご とぉくと F の 灘 締 n=l a 一妄 α 4)モ こ方 冬て v 、 m. ′ a L βa i i )d tよ り出発 した intr ns c なものと、 リーマ ,y. く2 .1). 十. 勲に. の如く表わす。 ( s e(i)) e 其2 Fm の ーnduced connedion Fm に於ける絶対微分は ds=L(x. 昭和27年2月. 疎 TDikと定義すると. ) Cも CF (, t Ve o rを考え、 それに基き B I o n+ー 〕=. , , ,. A 寺十 d i キ j=B ; (BF BもB洋 C. 、. Dc,Dc の個々の性質について主なものを調べるに、 gi も gnb に 関 して は ・( 1 0 ) ( ) - ( } =0 6g i i ーの ー jdyc 十Dcgも j =Dcg j =Dg ,. 然るに. Deg m- Aもg i i r i =g i i-Arメバニ0 r. I 、 R ~ ばT k(但し 1L 決 とする) につき DTA k= k F Tご ,. 69.
(5) . r 2 Vo l .3 . , No. GAKUG元[ SECTION B. ヌ ‐銭 -o を得る 同轍こして之を 故に Dg炉争 g“ c 隊。 。. 号 ≦ βT= m =(B 鯖 T 蟻も 。 も緒 .T〕i 。 T)dF 十(B ●. r O ぐ ) 1 ) 用いる事により Dgab=Dcg“b=Dcgab=0 を得る。 次に か に関しては 』〆. 勾. 依つて. . . なる故、 容易を こD か o. を得る。 n に関しては 叉 y′. r=Bも窃 T十 艶 紺 T Dd. (2 .17)・ ー r ) ) .1 DCT = Bも ▽iT. ) ” ) ′』 -y′ ′ Dcy a b drg d 。十 r墓y =0. なる関係を得る。. 義3 1nduced Connedion と 1nt i i t ion r c Connec ns. 之 より. の閥係. n 0 0 ) ( ( o ) ) 〈 ( ) Dc(L)=Dc q)=(Dc la) ルトln(Dc (lny′ ym.=0. 即ち. ‐ D 魚. 1 ). ・ D て O ). 1 ( ). ( ) ず 鍍, D。 0 に 鱈F 懲に ー ずり . ・ リ Dー L リ. 本 節 では i i nduce さ れ た もの に --;i i nt r ns c なもの に′ を 附 して 区 別 す る。. ・. 、t” … ー 】,り tD り Dc =Dc pga =p b=D ー g g I F b=o J a a @ o ( ) D ) , 館 請 h ”=U ー Uc 〕 in U c ノ=ハ. 次に Fm の eleme鴎 of 馴凹)on l1. /十 十 十 十 十 十 十十 / 、 i t f 十 十 十 i 十 \. L WもF c i( 鴎 r 十G長 密)にあき. 1= D(BAI 1=D1 3) の A)= 叫 冷n十 (DB a (2 ム)l ,1. c 脳n十登ふ 時 叶 畿 評 る. ÷ 遊 芸F c i(をB疑り料 Gi )-m. ま まに. 氷. 2 1 4 ) ( ・. 書 ト 旗. ”誕. 嚢 F 畿鴎-。 :岬. * ・ - ÷ (3 さニ ーBr 日 ;も: ≧- -( ‐2) G′. ) (3 .3. 豊 は共む ) より明かなる如く、 饗さ (214 こiに関 “, も . して は Fm に垂直な (n-m) 方向に属する 且 。. 叉. 斉 ・ a かき 一 ;も ぎ 。一 理 F C州j. 虚 と 出 も の闇には. c ≦青;〆=背き なる関係がある。. (3 .5). 故 こ げ.ー5) は. 費 (2 .,5) が コBも み 十 ふ か. l釧e 以上の事から、 特に Fm の e tof 。wmt の方 。. G を縮合すると右辺 向 に 対 す る 絶 対 微分 は (3 .3) に y′. ). } 初日し、る gi 叉(29 )の 私, 理。は 芋 と. は0なる故 (r像 一 理 ご) yに=o. 1 ( ). r” = ri k 時 十 Aj rHき 。 ′. き 』 BH B 1 ,計 内 認. ↓. 貢i Cき j. ′ g (3 .4) C c= C&. ・. 貫き = 饗」 =。 。. (2 .16). ′ b= 磯 おくと rg }y. 31 ) G 蜘 (. ド バ ーも B 乳. の. ・. 一“- & ム m 肌c’ け軌nり 画ふ ” i ub U I L l i じU Uq=Wu Uu r 」〃靴グ ね枇且ハ 請 重 Lr ’\rふ U6 , “ 等 r “& 鷹 す る lnduced Co 等 と之 に 対騰する i 等と之に +ゑ誠 & サー t に孫ム 、 “ 1 n 1 nec m o n に於ける諸 ”* }十ー 【洲/W 掬 ヤーナー “ ’「“1 。 量 a ÷ , r a 量 G, 総, 総 rG 。 等の 関 錦ま詳細な計算は 省略する が BA1aの絹対徴 が. 分を考えるに. ’. Feb , ,i952. tの方 耀こ対しては を得る。 即ち e1ement of 叫甲o r. 皆 臥 AL . 婦. セミ ネ. と な る。. im と 1 、 i i i t t ー n 1 1 c 1 1 - t 1 c o e 8 cc o n n e o n とは相等. 叉 基 接 続 に つ いて は. (鍬 笠 守 一 等 , の関係は R, ,の 撒け徴分 , 窃 取 一 物が 6. c泌 が 4i+ ÷ G短さd y. れ. c; ①竺腫 ←と c l 十 十 裸( 一 昭 dy y. を dya, のa につき書き直す と. ・ の関係より、(3 ) を考慮すれば .2 70.
(6) . 第3 巻 第 2号. (3 ,6). 学. 塗. ′ ” この高次の曲率城に対し、 g i (yれ ) に関 して互に i ,y 垂直なュークリッ ド峯間 Rm。・ (Fm の接ュークリッ ド 基間)、 兄m , Rm r…・ , Rm ー , 2 【 を考え、 更に各室間に. 0 ( ) - ・ r l dyc のれ- メ コ Aき 。 j i. け れば 釜 =① “と. おくと. 、. .. o ( ) .. ,. う絹対微分はやはり 比n に対する射影を考えると、 拡. のもは絶対曲率 v tm, 端 岡 ec. 張された D-S興・boI DJX , も。 煮 を得る。 , 撫 ぜx. を夫々表はす。 t の公式 r 奪4 Fm の F ene. 之に関する接続径数は。. )に も 澄 1 メ 巽 ん。+〆」-B 為さ ,r&} , c qx. (1) Fm の 高次の曲率域. ・ 〆 = B a の絶対 Fm の曲線 yn= ( B) に沼ぅ Av 微 ◎) ( 、 1 . , . a十日と =BムDs v が 吐c十日ムホ. 碕. 1 (. ・ ・ 今 Bみ, Hら ) を端点. とする i れ, Hき a の Fm の点 (ya. に関する ▽ector 室間を考える (但し点(ya l )にe ement ′ 鵠 を附加して考える 即ち点を ” ′) ty of s叫) por ,ya 。 i i l と考える。) と特に v = と した と き は Fm の曲線の. ) ( ‘ ) ・. る 0. の. 1 ( ). . 義する。 この次元はn - ) l (mo=n 。十mー ,mdは Hき れ, Hも れ. のiに関する一次独立な▽c t o c rの数と一致する。 (4 ,i) を更に微分すると. D約i=. g聴取 に関しては gab と同様 に D 0 1 Dgp q = Dcgp - = Dc働 ゞ× き xx. 4 , (4 .4). t r を含む故リーマン寡聞の拡張の意味で c o 第一曲率 ▽e t こ の ▽ec or 塞間を 守Q ,yな) に於ける第一曲率域と定. (4 ,2). ‐筆誉) .. (4 .3). 分を考えると. 0 ( ) ・. 、. こ の Rm に於ける ▽ec t or vi- 鳶. 或は BL 噂 は相対曲率・ t cc r o ▽ , HI 。 は法曲率 ▽ector. Dが. リーマン. p x F 、 v の m に沿. (3 )(b) は Fm の曲線 ya=ya ) に於ける曲率 ( .7 s. (4 .ー). にと り・. 空間のときと同様に、 それらに於ける混合テ ン ゾ ル を. と す る。 (s ee(9)). .. t or の関係を示す。 ▽cc. 互に垂直な単位 ▽ector を基 ▽ector. 畳も 第一基本テン ゾルを g き もも臨 で定義す M =登 . る。 他の諸量についてもリーマン室間のときに倣うもの. ・脳. 昭和27年2月. 十l nk三n である。. i-BIゐ』 箆 dy d. 3 こ於て・ 特に(デ ー 鳴 ( )キ ・6. 第 二 部 ・ クニ. =0 を得. 醐 . (2) F t の公式 r ene い く 塞 リ←マン塾間 Vn の部分峯間 Vm の Fr t の公式 ene 軸 ; 瑠 F D S b l の m えの拡張は前述の ‐yn lo を用いて述べる。. の 嘗D 豊 (4 夕 i 粛も= も ( )=(o) ) (4 ,5 ,(1) とおくと . I. *. B. 0 0 ( 0 )( ) 1 ( )( ) ・ lqd◆” Dd日. 十 ( D( も ) v の瀞d IHも)▽a. 色 & ・ B. B 隼 Fo. ( 畳も ( i d 十 (& , )メド武 子 (乱費ふ か 認l. の i 次 こ( ) D B . . 次に D - )明 を考えると. i ) . ( .. 薮に * は 鰍, Hも の 項. i. i ( ). 1.() B 時 事b白んー 』 ゑ DbBQF ず鴎ぞ, ,. k ) ( j ) ( )(k .. . . BA j)=(0) I Hも ((k) , HをD , ,( ,(1)〕のiに関す. る (ya t c o r 塞間を第二曲率域. c と ,ア勺 に於ける張る v. i d-- a &-g ¥ ( ※ ). 7). 1 定義する。 その次元は mo十mー十1 1 2 , 以下同様に第 x 曲 率域を決定する事が出来る。 その次元 mo十nヤト…-+ 1な三n なる故 x の最大値を kとすれば mサドD 1 ‐ ←…… I. I B r(. A! ~i =o ー ・品 , I J I . 71. I.
(7) . l な曲面と定義する。 ly ext rema を Fn に 関 して・total. 故に. O ぐ ). . 然るに H品…0 なる膝件は 膏3 より. OJ I Db B. &おい毒も…事 隠 おくと. (4 .8). 鵠. ¥ Eo.一ー ′¥ ; i二o÷ゴキE…o 一日, (5 .2) ,Eo 。. ‐る。 以下同様に こ属す は ”こ関しては R, , .を. は明 か, 故に totany . l な曲面は叉次の性質を有する事が到る。 r ema ext l t l な Fm に 於 て は e l ementofsuppor lyext 「 t rema to a F 於 F を m で平行に移動させるときは 同時に m に て も. & 轟も を考えると . xj. ( b B聴 49 学ば +登録 …芝 ) 葛ふん ( 1 十 M床閣 哩 恥。 ご はiに関して R ~ に屡する。 鵠 の 脳 依って Fm の Freuet の公式と して次の 式を得る。 級i. 平行である。 .この場合の平行移動は (3 ) より intrinsie な意味で .6 も、i c e された意味でも同じである。 ndu l な曲面に於ては 苓3 より ly ext r ema 叉 totoi. ir好 a x 「 B式 = . め 坊B の め X X ( (4 ,lo) D i i ぐ ) . ). . bB mk D . (5 .3). (5 .4). 紘を こGも. 望 4一番 キー ( も “ ,. (一般に キ0). なる関係がある。. (4 .ー0) の積分可能係件は、 本部先生の場合と同様の 式を得る放こ では省略す る。 i ー c l な曲面及び Total y geodes t r ema 葺5 Total-y ex. BA 式← BまG巽 b b十 G} ,B. 3 レ ) d G i a 『 器 軽; ぁ 語著ルザ 鄭 mr. の接続径数 である。. は d の絶対微分を用い ると l (5 .4) は Berwa B Db 、 5 ) 8bBA;-嶋 Bぇ 略 (D は Fm に於ける ( .5 の維 1粥川もvD の絶対微分を表はす。 ) の 償分 6 う の積分可能鱗件は ) ( . / f i t十 t t t ′ 1 i i i 十 1 魚) @リ. で. 5 .6). . は H 遂 により分類し、 更に少しく補足して 見たいと思. @リ @D. 、 l な Fn Tot rma e lny ext ・ ,. 強こ 文 は. . )の接単位 職 m 署 コ ヒ Fm の曲線 ギ ー ( s. KふkB買 え 巨 q =。 ( 一 B憲. 鞠Rw^m. . q =o. の曲率テン. し;. G*. a唖b . -. . 字 ”¥; 5 ) D註iニー ニBふる;十 Lチニ B一、 ( … .1. / =R1 にxR) より に (可 に 因j j. , , の測地線で ある篤 には より、 Fm の測 地線が叉 F a に無関係に でなけれ ばならない。 Fm の y′. ? 』o なる点を ¥ なる点を …. . .. . 【叱 ず・ると 鴎1. )i 豊 …. . ′ a につき二回微分すると 上式を y. 但 しリーマン寡聞のときと異なり. います。. . 轟 b i i 一 国。 {′ ‐岬 -BAG』0. トー Bも--1 ;塾. (おき (おき }. 8 ) の研究があるが、 こ l 1 ・ c IMov 之に関 しては Hノ. 理。コ rg 。. ) の積分可能鱗件は Hi 三0を用いると (5 .2 -. B b ,. な曲面. r n ).. o 、 r. H J…0 0 灘こ Hd ,E 一→ 。. える と を . (1). Feb . ,1952. GAKUG鳶l sEc質ON B. Vol .3 .2 , No. Rも を 曙 一 R充』 にB封 j. Fn F に関する extremal pcint と定義 蒔こ掛ず. )』 と と して よし・ R三 峯 CI j にB込. ll i a) が ext t なるとき Fm n rema 〕 o す る。 Fm の各点 (y 72.
(8) .. 第3 魯 第2. 号. 学. 整. 第 二部 悌. 1→1 なるときについて、 Fn の任意の点を 特に m =1 lyext l 通り、 任意の (n-1) -方向を有する total rema ・. 1 ぐ。ni i よ り elcn・entof supportを induce( t l } の意味 ec o l. な超曲面を許容する篤の必要膝件として RA k について j ′ 1 5 7 b (. )( ) を m=n- の場合につき考えるに y′b を. で平行に移動させたとき viが Fm で平行ならば、 同時. に Fn に於ても平行である篤には. iとすれば 縮合すると、 F l 】 -- の法軍位 ▽ector を・ 、 く5 ・8). し. 0 ( ) ・. Hゐ. ,t l i =0 なる Fm の点を弱い意味の g ( c pol n e s . eo. )が、 弱い意味の geodesi と定議する。 Fm の各点(ya c i i l ly gcode nt なるとき Fm を 弱 い 意 味の tora s c な po. Ro i a半b) o iiい呂=0(. 5 曲面と云う。 ( 1-! の .!4) の積分可能係件は特に iu=1 ときは次の式で奥えられる。. Ro i l i ぇ) なる n重直交 o i なるテン ゾルの( ,i. 系に関する成分を考えるに 0 で ない も の は Rmm の形 のもののみであり、 Rm帆 と Rob。h と{ ま、 例えば Ro . - n I と &如 2 を考えるに、 次の直交蔓膜. ー. . 蝕に Rもが メ&は Fm. i のi nn声s n な意味む こ於ける. 量である。. (b=3 ,… …,n-1) ,4. i 1 ly gcode t c な曲面 も s i くb) To. i, i i) 系についても (5 を考えれば ( r .9) の成立. Fm の 上の ▽ec induc d t or vi が Fm で平行なるとき ( e i t connec on の意味で) 之が叉 Fn で 平 行 な る 鰐 に は 1 ( ). すべき故. ・ ノ ′ i i , i .=) R ji 。 。 ー ー十Ro 2 2) , i) = 0 = (一Ro 。 0 1 2. 豊」 =o H , 8F o でなければならない。 前と同様に声 の如 何に拘らずこの関係の成立する Fm の 点を geodesic. i co s◎・s n①. i in i nt と定義する。 Fn の 各点が gmdc t なる と l o s ci po. 故 に Rmo ー=Ro 2 o g を得る。 以下同様に して Rm帆= Ro r b(a ・一1) を 得 る。 依 って Rmo =〃 y , ,b=1 ,2… …,・. i i s L e c な曲面と云う。 この積分可 き Fm を totally ge。 能膝件は m=n-1 に つ い て /Rik召請さ ぞ =R発光 j. とおくと 1 i (5 ー可 =び 2 ii j .12) RO . .. ◆ 6)′Pゑ (5 .1 I B潔票 = 副加 j. 然るにn重直交系については g i ii il i i;l i十 × i . なる故 (5 ,12) は. げ.13) Ro i il i i 一1 j=〃(g j) となる。 o. 依って次の定理を得る。 (定理) F , , か任意の点を通り、 任意の (n-1) 一方 ly ex lな超曲面を許容する trema 向を接平面とする total 鷲の必要鱗件は ず,ー3 ) の成立する事である。. ・ . . 著 ー 一 書 ( 雷 言 雲. i i 減ヤ こRg r ns c の意味 , p蓉ド sR加 は Fm の int b 。. ・. i l l ) 弱い意味の To t a ( c な曲面 a y geodes i Fm の上の任意の ▽ t e c or▽ = Bもが の Fm の上の. 絶対微分. *. . ◎ト ◎( o〈◎<÷) n o s ¥C ド.. l ly Geod i (2) Tota es cな 曲面. 億,一 輪 一 慧大 飯). R A認 識. .一. (5 .15ノ. ′ J =l i 1 ′ i i in◎ i =i co sの十日s 1 1 2. モ. 、. ′ れ に関 でなければならない。 (ー) と同様に任意の y. なる 関係の成立する事が必要である。. 故に今. ◎.. 日も =o. (5 .14). a三に B , =o 。. この式より Fm の点 P に於て 任 意 の 1 1重 直 交 系 i l 1 i ム ( , ぇ)( a= ー・”n- ) に対し (5 ・9). 昭和27年2月. の テ ン ゾル で ある。. ぞn が 任意の点を通り任意の ( n-i) -方向を有する d i l l t t e oa y g oe sc な超曲面を許容する篤の必要亘‐充分憐. 件を求めるに、. (m・ D▽i =D(ぼ 〆) コ BLDが十 日をvdyb. 1 ( ) ・. げ. (5 .17) 日も b= A茎 k B邑 B h =。 73. ・.
(9) . 1重直交系≠ より、 必要鱗件として、 Fn の各点に於て 1 1-1) に 関 して (ローi) (a=ヱ ,2 ,… …,1. (6 ,!) の完全積分可能である事 が所要の必要且充分係 件を奥える。(6 .1) の積分可能傑件は. s l o 6 き ) 筋 骨 {原 著 一 き ) }= ( .2 j. k =0 (a b c の中少くとも二つ異 ii ii ki (5 .i8) Ai i , , ) . a b( ii i l なるとき) が成立する事である。 故に Ai i くの (l , ). 之を計算すれば. i i ) 系に関する成分の中 0で 依って (6 .3) より (l ,i , L ないものは Roam, R a }の形のもののみである。 故に 。 。. i li =l. l t b 11 I ) ; i Ro ー く h il ji , a b ii jlk十Ro i k=R o a j 。 o. 1にi is i峨 ÷ +- i n÷ 0 1 1. , tk-R , =R , j く り ) 。“ 。” {. (5 ,i9) - ノ・. i噺 …- i im÷÷+i 』 -i s .. i P =i . 即ち (6 .4). -1) (b=3 ′4 ,”…,n-. る。 この時びは (6 ・5). の成立すべき事より. 言飼養gM, ?』』 ”,- 』) *-. 式 ; R〆i ・ ・ d OR} k ・ 十 ル雌車 十 R… r i i = AF 。Rぷ 十A*′ i i i. に代入すれば =。 -○ 1 ミー2)(o 1 f (6 ‘- olk); .6) ( ,. i l lygeodcs ta cな Fn-1 故 に Fn は リ ー マ ン 室 間 と な り、 to. 故に n>2 なるとき. を許 容する必嬰員.充分鱗件は Fu が定曲率リーマン空間. (6 .7). である事である。 以上 3 種の特殊な曲面について選べ た が、 明 か に i l l c t a o l l ly g y geodes to t ( c sに ならば、 弱い意味の t a eo l ly le i ta ly geo o s c ならば t { であり、 弱 い 意 味 の total. l である。 rema ext tor に 持 つ測 地 t 髭 法 vec lppor 登6 E1ementof sも. 的な超曲面 tを単位法 ▽ector tofs r Fn に於ける単, l uppo l l 位c eme. GRN此郷) の研究 があるが、 c とする超曲面につしY(は W1 l t or n F cme が任意の点を通り こ では n 、 任意の c 容する な超曲面を許 t t を法 v o r とする測地的 } ec or mpl 篤の必要且充分 康件について考察する。. i j klkg (n…ー)びFRい i j. 1 を縮合 した I ) の (XXIV) 式に 1 N ,5) を C^贈\. )病 ぎ茅 一 座 ハ.9 2 9. A 0 =0 (a A .=i ,… ,2 故に AI - ,F 娘り= , 以下同様に aaa 0 A 0 三 \州に なる故、 結局 i となる。 ik …,n-1) 叉 ノ. R } , k=2Ro idol く mj 〕. 2 〔 R ) ilk 〕 之が必要 目 .充分係件である。 特に oUk= 0(gi 4 { - 条件を輿え 之は充分 を満足する故 なるときは (6 ) . 、. i,【 J)についても(5一8) なる直交愛換を考えると (1 ・. 2 β , も. k =o ji R{ ki i j , lb t. (6 . 3). 系に関する成分で0 でない もの像 An n a の形のもののみ 然る A A と ば につき に例え 2 禦 である。 然ぞ I 1 I ). ノ. Feb , ,1952. TGEI ・ (人Kt Io ON B 1 縦地 1 T 敬 }. Vo 1 .2 ,3 , NO. k=o び ki ,. を得る。 この式はぴが測地的 Fn‐“こ於て定数である 事を示 して居る。 叉 R噂1に0 ならば勿論 (6 .4) は満足される敵、 この. tを 奥 え l ) } or tofs t 1 emen 1 1 ときは任意の点を通り一つのe f t t t l r の vec or } } o l o s t n m e 行な e e ー l るとき、 それに平. 1 1 1 が存在し、 それは測 地線群をなし、 - f i l e { .これを法. t c r とする測 地的な F o 」- が存在する事を示して 居 ve . 肥大数学教室河口商 蔓を敵いた, 終りに御1懇切なる御指, 意を表します 心より感謝の 次先生に衷 。 参. t or e c 今 1も の測地的な超曲面 Fn‐ 1を 考え、 単位法 ▽ 1(x) i(x ,1(x)) に 関 して 互 に を li=1 , 組曲面上に gi. 考. 女. 鍬. l i i l tua 〔 e s r ・ e s de Fins t t an L儲 鴛Rpace , Ac (り 駕.Ca 3 9 1 9 4 i l 7 t l l re e Gque i i fut [ n Sc se t en ’ iv i l i ー ‐c s a i t za on of Levi l ra or A gene も (2) J. H. TI An T l e r F f s s r t d a a t l t r m u i l o . l r e ー e l n l n a w e こ , ) a , s l l hla t l ,8oC 27 ー925 t immung Unt d 1 l suchul e r g der Kr rwa ぐ3ン L, Be (むー f R 山 i l nd de s . i 1 i n ea u r c ・ i , e t r s e l n . n r i l m e e e . 基 l ー i l le . l ー I E l s n raue も Ma 、 be l t t l pa ・ ーme f i r s che ー l ni. i(a=1 -… …,n-1) ) 個の単位 ▽ectori 垂直な (n-1 ,2. i を考えると、 F , . ‐I が測地的なる事は l が曲面に情うて 平行で ある事である。 即ち. 0 6 ) ※ 嬰 一 流 謡う ‐ ( ,- 74.
(10) . 第3魯 第2号. 学. 藁. 悌 第二部. 昭和27年2月. Ze i i f t ・ r t25 i926 . C1 く4) 日. Ho t i ・ 1 〕bu Di i e Kr I nmungs [heor eim Fi n l 1 im工鵬, J,方,s r .o l e s c 1 en R1 く 5 1936 ,壬 imo▽ i i Formu l (5) M, Ha la c l lans e sfon 〔 ・ nent a s( l i fac ath6or e de s Hype r sur e s d’ l ・e de u spae e{ Fins l cr .C,R.i98 1934 ,. ー . b l (7) B.T, D琵▽i e g s s ー ce 。f a Fins ー l a e r si ) L ace , , Proc 」 t ・ a , London , r .So 491945 imov j i v・ i e d 1 6me (8) M, t t i c r st o 貴e tVar d e L a 1 L . Ha s 1 l 6 t t i d o l a ement gdo ( s s u e n ’ a s e s s e c e q ・ pa de Fi l l i i 6que ns er e s ent ive i e s de L’ r t u 1 ・ s , Anna ,Sc de Jag 2 5 i 3 9 9 sy. Ri 1 i 1 1 1 ne l f i uー l a 8 Tfa i i r Sa l l s▽e e le l l e l l er gcha r l M0na l l 配×t ren ・a t vo en,I sh 441936. l i i (9) J.A.Scho t ・ en 国i r t nf ・ ung in di e ne t e ren ・ Me l t i l Geon ・ 1 1 der Di食むr ode t i t en 1 a 1 e r e ( , Ban . 1 , =,1935. 6) J,M.\Vegener Hyperfi l ( l i l e ・ ehin1i Ds r e s chen. 0 n the Theorem of Schur in the S)eciaI Carm n space, ー by. sh iml i YANO ) e. T1 fル ー l i t i l e 8t udy o t l a l cma es l van d【 l ・ . za va Branc ido Ga i U. ・ i l i a こ uge l s ty ,丁 ▽e r ,rTo. 矢野晋平 : 特殊. Car tan. 塞間に於ける Schur の定理 につ い て. TI la t 1 ) rPose of thi in t l . e1 )aper i s1 ・ in thc R Sb殻の s t ( ) i ) exI I at the theorem ボ ′ ・ e ・mul l Ian , t i 1 h l d m l geo cry 〔 〕 o(s goo aga n 命r thcs l ≠”% s lcondi ) ions ) acc i tn e c魚I C腐り ・ Iwhic t lthef t ・ ndanm・ 1 I . are given,thati s. ′ 言彰1 1』 o 二 ,. (1). 凡 ご のん=O ・. L, B 耀いvAT I i l I 0 ved1n h t the necessa1γ m・d sufHcientconditionsunder wh ・ 」D S spa ) e r 「2〕 a ・ i , 1 l ,t c ・. the Cartan s l c ei st I es ame a s jあ p乳. れs ん鰯 一 a ha t′ 剃 r et. d 血d 励ん . 乙=o , A 伽r. ingl l a m(揮e ge1 ) aeelmy bes a貴 y 1 eral 灘気ce than thc Mi ispace ,oursl nko ・ v sk , . . s1 ,qfz肥 聾 ‘ か , りのせ” l f ez F t d l のみ o s 7 d i i t 1 〕 t αc e . e u n ・ n l r o n n e a . 要れec2 c n n s o o ( ) md t . e ide 1 - ・ 1 l i i t i d t B b L ) B c x n a ( ) A e l { = t tWAT ta )( c 1 y r1 2 1 7 1 2 1 0 」 1 8 ) 8 ( d ) ( ) ,1) ( .1) i l n , (15 , ,(17 ,(12 ,12) , , , , . ▼ (18 ,10)) wc hme. (2). R海 = 鰭 も +2rれ ばもも , の 〕. (3). 尺海 = 尺 なる, ,. Pメ ド ○ ,. . 月メー ヰ0 , ル. 尺 履れ ブ (嫉め け. (5). . 、 vher e. = 0,. 履け !メ ニ 尺けん引{ 一 &ゴ眺4メー &〆 &月メ ー R 獅,4 綿 . 一 埼 如 月〆 ‘. げ ;うノ 鮒 = /’あ か m mghm 肺 mspape lus l i im,, The 郁trふt r w d ml t孔 t et i , s。o ou 。f i 4 t t i h i t l ( ) srewr en n e fol owi ng equation ゐ r. ん たr ¥ ふ βぶた十 4 りも - (6) ‐ 4 ダ割 幽霊 . だれ -4 r αJ ん 一 βも も , , “ 龍一 4ず 増 F O. From (2) ,. lt l ) m・ i i ( ・ cs t e cond cond i de i ・ l o ・of (1) l i r ng t 1 e re t at on(Ac a , cons , (8 ,6)). 伊 に ムゴ もん Qα- ′), 靴 hav e. 75.
(11)
関連したドキュメント
問についてだが︑この間いに直接に答える前に確認しなけれ
この見方とは異なり,飯田隆は,「絵とその絵
存在が軽視されてきたことについては、さまざまな理由が考えられる。何よりも『君主論』に彼の名は全く登場しない。もう一つ
式目おいて「清十即ついぜん」は伝統的な流れの中にあり、その ㈲
に関して言 えば, は つのリー群の組 によって等質空間として表すこと はできないが, つのリー群の組 を用いればクリフォード・クラ イン形
児童について一緒に考えることが解決への糸口 になるのではないか。④保護者への対応も難し
ヒュームがこのような表現をとるのは当然の ことながら、「人間は理性によって感情を支配
このような情念の側面を取り扱わないことには それなりの理由がある。しかし、リードもまた