Mathematical Logic I 12 Contents I Zorn

Size: px
Start display at page:

Download "Mathematical Logic I 12 Contents I Zorn"

Transcription

1 Mathematical Logic I 12 Contents I Zorn Löwenheim-Skolem II 32 1

2 (Peano) (numeral) PA (End Extension) ℵ ℵ

3 I X = (X, <) (well-ordered) A X X 2. X (a)+(b) (a) X (b) X 3. X I(a) = {x X : x < a} (ordinal) n n N ω α, β α β α < β β α β < α α β α 2 I(b) β b α α α α = {β : β < α} 3

4 4 ( ). X = (X, < X ) Y = (Y, < Y ) X Y = X Y X + Y 1. X + Y X Y 2. X + Y x < y x < X y (x, y X) x < Y y (x, y Y ) x X, y Y ω 1 ω 1 + ω = ω. 3. ω + 1 ω α α = β+1 succesor ordinal α = β + 1 (limit ordinal) n > 0 2. ω α β n α = β +n 8 ( ). X = (X, < X ) Y = (Y, < Y ) y Y X X Y 1. X Y X Y 2. (x, y) < (x, y ) y < Y y y = y, x < X x ω = ω ω 2. 4

5 1.2 A < A A = (A, <) α A = {a i : i < α} A = {a i : i < α} α A A A κ, λ 10. κ λ A, B κ = A, λ = B, A B = 1. κ + λ = A B, 2. κ λ = A B A, B ω = ω + 1 = ω 4. κ, λ κ + λ = κ λ = max{κ, λ}. 1.3 Zorn P (*) m < n P (m) P (n) 5

6 12. ( ) α β n α α α = α +0 α α = α 0 +1 α 0 < α α 0 β n 0 α 0 = β + n 0 α = α = (β + n 0 ) + 1 = β + (n 0 + 1) β n Zorn (**) A = X P(A) B i X (i < α) B i X i<α X 13. R 1 R Zorn X = {I R : I 1 } X

7 {e,, 1 } e 1 ( ) 2. {0, 1, +,,, 1 } 3. {0, 1, +,,, 1, < } 0 L,L,... x,y,z,x 0,x 1, ( ) L L 0. L L 1. t 1,..., t n L F L n F (t 1,..., t n ) L 2. L 16. L = {c, F } c F x, c, F (x, c), F (x, F (x, c)), F (F (x, c), F (x, c)),... L 15 7

8 1. T 0 = { } {L }; 2. T k+1 = {F (t 1,..., t n ) : t 1,..., t n T k F L n }; 3. L = k N T k. 17. G A G G A {=,,,,,, } 18. ( ) 1. t s L t = s L 2. t 1,..., t n L P L n P (t 1,..., t n ) L 19. L = {c, F, < } c F < 1. F (x, c) = y, 2. F (x, y) < F (F (x, y), c) L t x 1,..., x n t t(x 1,..., x n ),,,,, 20. ( ) L L L- 0. L L 1. φ, ψ L x (φ), (φ) (ψ), (φ) (ψ), (φ) (ψ), x(φ), x(φ) 8

9 L L- φ x x x x x φ ( x(f (x, y) = x)) (F (x, x) = z) x x x φ x 1,..., x n φ φ(x 1,.., x n ) φ n 21. φ φ 2.2 α,β L = {c i : i < α} {F i : i < β} {P i : i < γ} c i F i m i P i n i (M; {c M i } i<α, {Fi M } i<β, {Pi M } i<γ ) L- c M i 1. M 2. c M i M (i < α) 3. F M i M m i M (i < β) 4. P M i M n i (i < γ) c i M Fi M F i Pi M P i M 9

10 < {(x, y) R : x < y} 2. M R (R, 0., 1, +, ) (R, 0, 1, +,, <) 3. L = {0, 1, +, } R L- + L- L t t M t 24. ( ) M L- L t(x 1,..., x n ) a 1,..., a n M t a 1,..., a n t M (a 1,..., a n ) : 0. (a) t x i (b) t c t M (a 1,..., a n ) = a i. t M (a 1,..., a n ) = c M. 1. t F (t 1 (x 1,..., x n ),..., t m (x 1,..., x n )) F t i t M (a 1,..., a n ) = F M (t M 1 (a 1,..., a n ),..., t M m (a 1,..., a n )). 10

11 25. M L- a 1,..., a n M φ = φ(x 1,..., x n ) L- M φ(a 1,..., a n ) M = φ(a 1,..., a n ) 1. φ t(x 1,..., x n ) = u(x 1,..., x n ))), M = φ(a 1,..., a n ) t M (a 1,..., a n ) = u M (a 1,..., a n ). φ P (t 1 (x 1,..., x n ),..., t m (x 1,..., x n )) M = φ(a 1,..., a n ) (t M 1 (a 1,..., a n ),..., t M m (a 1,..., a n )) P M. 2. φ φ 1 (x 1,..., x n ) φ 2 (x 1,..., x n ) M = φ(a 1,..., a n ) M = φ 1 (a 1,..., a n ) M = φ 2 (a 1,..., a n ). φ φ 1 (x 1,..., x n ) φ 2 (x 1,..., x n ) M = φ(a 1,..., a n ) M = φ 1 (a 1,..., a n ) M = φ 2 (a 1,..., a n ). φ φ 1 (x 1,..., x n ) φ 2 (x 1,..., x n ) M = φ(a 1,..., a n ) M = φ 1 (a 1,..., a n ) M = φ 2 (a 1,..., a n ). φ ψ(x 1,..., x n ) M = φ(a 1,..., a n ) M = φ(a 1,..., a n ). φ xψ(x, x 1,..., x n ) M = φ(a 1,..., a n ) b M M = ψ(b, a 1,..., a n ). φ xψ(x, x 1,..., x n ) M = φ(a 1,..., a n ) b M M = ψ(b, a 1,..., a n ). 26. ψ(x) c M = ψ(c) M = ψ(c M ) ψ = 11

12 27. ( ) L 22 L M N L- σ : M N 1. σ(c M i ) = c N i (i < α); 2. σ F M i 3. σ(pi M ) = Pi N = Fi N (σ,..., σ) (i < β); }{{} n i (i < γ). 2. F M i (a 1,..., a mi ) = b F N i (σ(a 1 ),..., σ(a ni )) = σ(b), ( a 1,..., a mi, b M); 3. (a 1,..., a ni ) P M i (σ(a 1 ),..., σ(a ni )) P N i ( a 1,..., a ni M). 28. σ : M N t(x 1,..., x n ) σ(t M (a 1,..., a n )) = t N (σ(a 1 ),..., σ(a n )) ( a 1,..., a n M) t 29. L- σ : M N 1. σ : M N ; 2. φ(x 1,..., x n ) a 1,..., a n M M = φ(a 1,..., a n ) N = φ(σ(a 1 ),..., σ(a n )). 30. ( ) M,N L- A M, B N σ : A B (*) L- φ(x 1,..., x n ) a 1,..., a n A M = φ(a 1,..., a n ) N = φ(σ(a 1 ),..., σ(a n )) (*) φ 12

13 T L- M = T M = φ ( φ T ) M = T M T 33. T L- 1. T M s.t. M = T 2. T S fin T M S s.t. M S = S Proof L C = {c i : i ω} L = L C L - x {φ i (x) : i ω} φ i i T = T { xφ i (x) φ i (c i ) : i ω} A. T n ω T n = {ψ 0,..., ψ n } { xφ i (x) φ i (c i ) : i = 0,..., n} T n ψ n T {ψ 0,..., ψ n } T N i = 0,..., n φ i (x) N, c i N = T n A T Zorn L - T T B. T L - φ φ T φ T T L - 13

14 L - closed term CT CT 2 t u t = u T. M = CT/ t CT [t] M = {[t] : t CT } c L c M := [c] m F L F M ([t 1 ],..., [t m ]) := [F (t 1,..., t m )] well-defined t M = [t] n F L P M = {([t 1 ],..., [t n ]) : P (t 1,..., t n ) T } M T C. L - φ M = φ φ T. φ l l = 0 φ P (t 1,..., t n ) M = P (t 1,..., t n ) (t M 1,..., t M n ) P M ([t 1 ],..., [t n ]) P M P (t 1,..., t n ) T l > 0 φ xψ(x) M = xψ(x) M = ψ([t]) ( [t] M) M = ψ(t) ( [t] M) ψ(t) T ( t CT ) xψ(x) T. ψ(t) T xψ(x) T T xψ(x) ψ(c) T T 14

15 ( ) I P(I) U P(I) 1. U U F U A 1,..., A }{{ n U A } 1... A n finite 2. U I U P(I) U,U I A I cofinite A A c = I \ A F = {A I : A } F 2. I F = {A I : A c } F 36. I U 1. A U, A B I B U; 2. A U, B U A B U. 37. a I U a = {A I : a A} I U a a {a} U a U a a B {a} B = 38. U P(I) 1. U 2. A I A U A c U. 15

16 39. U i P(I) (i < α) U = i<α U i Proof. A i,..., A n U U i U i A 1... A n 40. U P(I) A I U {A} U {A c } Proof. F 1 U F 2 U F 1 {A} =, F 2 {A c } = F = F 1 F 2 F = I F P(I) F I U F s.t. U I Proof. P(I) κ P(I) {A i : i < κ} i κ U i P(I) 1. U 0 = F ; 2. i = α + 1 U i P(I) U α U i ; A α A c α U i 3. i U i = j<i U j. U = U κ A I A U A c U A = A α α A U α+1 A c U α+1 U α+1 U 16

17 42. N.F P(N) F = F 3.2 L I i I M i L- N = Π i I M i N (a i ) i I F L L- L- F N (a 1,..., a n ) = ( F M i (a 1 i,..., a n i ) ) i I a j = (a j i ) i I N (j = 1,..., n) j 43. I 2 F i (i I) F i I U i I L- M i N a N, i I a i i a = (a i ) i I 17

18 44. N a b {i I : a i = b i } U N M = i I M i/u a N [a] M = {[a] : a N} [a] = [(a i ) i I 45. M = i I M i/u F L L- F M ([a 1 ],..., [a n ]) = [F N (a 1,..., a n )]. L- M M i 46. well-defined a 1 b 1,..., a n b n F N (a 1,..., a n ) F N (b 1,..., b n ) A, B U A B U 47. t(x 1,..., x n ) L [a 1 ],..., [a n ], [b] M t M ([a 1 ],..., [a n ]) = [b] {i I : t M i (a 1 i,..., a n i ) = b i } U. Proof. t x t L F F M ([a 1 ],..., [a n ]) = [b] [F N (a 1,..., a n )] = [b] [ ( F M i (a 1 i,..., a n i ) ) i ] = [(b i) i ] {i I : F M i (a 1 i,..., a n i ) = b i } U. t. t = F (u) F u [a] M u M ([a]) = [d] {i I : u M i (a i ) = d i } U F M (u M ([a])) = [b] F M ([d]) = [b] {i I : F M i (d i ) = b i } U & {i I : u M i (a i ) = d i } U {i I : F M i (d i ) = b i & u M i (a i ) = d i } U {i I : F M i (u M i (a i )) = b i } U. 18

19 48. φ(x 1,..., x n ) L- [a 1 ],..., [a m ] M M = φ([a 1 ],..., [a n ]) {i I : M i = φ(a 1 i,..., a n i )} U. Proof. 0) φ φ 1) φ ψ M = ψ([a 1 ],..., [a n ]) M = ψ([a 1 ],..., [a n ]) {i I : M i = ψ(a 1 i,..., a n i )} / U {i I : M i = ψ(a 1 i,..., a n i )} c U {i I : M i = ψ(a 1 i,..., a n i ) } U {i I : M i = ψ(a 1 i,..., a n i )} U. 2)φ yψ(x 1,..., x n, y) M = yψ([a 1 ],..., [a n ], y) M = ψ([a 1 ],..., [a n ], [b]) for some b M 3) 49. φ L- {i I : M i = ψ(a 1 i,..., a n i, b i )} U for some b i s {i I : M i = yψ(a 1 i,..., a n i, y)} U M = φ {i I : M i = φ} U φ U M i φ T L- 19

20 1. T M s.t. M = T 2. T S fin T M S s.t. M S = S Proof T I S I M S = S L- φ T A φ = {S I : M S = φ} A φ I A φ F Claim 1 F P(I) A φ1,..., A φn F M {φ1,...,φ n } φ i {φ 1,..., φ n } A φ1... A φn A φ1... A φn. 1 F I U M = S I M S/U Claim 2 M = T. φ T M = φ {S I : M S = φ} U A φ U 51. N {0, 1, +,, <}- c T = {φ : N = φ} {c > n : n N} c > n c > 1 } + {{ + 1 } T n T 0 T 0 T 0 {φ : N = φ} {c > n 1,..., c > n k } c n = max{n 1,..., n k } + 1 N T 0 T N N {0, 1, +,, <} N N N c N 20

21 52. L- M 3 x 1 x 2 x 3 [x 1 x 2 x 2 x 3 x 1 = x 3 ] n L- n L- φ n M = φ n φ n+1 M n M = φ M L- φ φ n n L- M n T = {φ } {φ n : n N} T M M φ κ M = φ κ M κ φ κ Löwenheim-Skolem 3.4 Löwenheim-Skolem 53. M L- N M M 1. c L c M N 2. F L F M N N M N N L- c N = c M, n- F N = F M N n, m- P N = P M N m 54. {e,, 1 }- 55. M L- 1. A M L c a a A L(A) M L(A) c M A = a 21

22 2. N M elementary substructure (*) L(N)- φ M = φ N = φ M N 3. N M N M M N 56. M L- T M L(M)- T T elementary diagram T M a M c N a σ σ : M = σ(m) N σ (*) 2. M L- 58. κ M κ Proof. T M L(M) κ {c i : i < κ} L(M) {c i : i < κ}- T = T {c i c j : i < j < κ} T c i M T N N M T N κ κ 59. (Tarski-Vaught ) M L- N M 22

23 1. N M; 2. L(N)- φ(x) M = φ(x) M = φ(a) a N Proof : L- φ(x 1,..., x n ) (*) M = φ(a 1,..., a n ) N = φ(a 1,..., a n ) ( a 1,..., a n N) φ(x 1,..., x n ) (*) φ(x 1,..., x n ) yψ(y, x 1,..., x n ) M = yψ(y, a 1,..., a n ) M = ψ(b, a 1,..., a n ) ( b N) N = ψ(b, a 1,..., a n ) ( b N) N = ψ(y, a 1,..., a n ) A A 60. M L- A M N M 1. A N; 2. N A + L + ℵ 0 Proof. A 0 = A M A i (i < ω) i > 0 L(A i 1 )- φ(x) M A i A i A + L + ℵ 0. A i A + L + ℵ 0 L(A i )- A + L + ℵ 0 A i A i+1 A i N = i ω A i Tarski-Vaught N M 23

24 61. Löwenheim-Skolem T L- T κ L + ℵ 0 T N κ Proof. M T 58 M M κ A M κ 60 A N M A + L + ℵ 0 (= κ) N A N κ N κ L- M,N L- elementarily equivalent M N 62. L M L- κ N M, N = κ N {M i : i ω} L- M i T i ω M i T T i ω M i = {n Z : n i} M i {<}- M 0 M 1 M 2 ({<}- ) M i = < i ω M i = Z 64. α α L- (M i ) i<α (*) i < j < α M i M j. elementary chain 24

25 65 ( ). (M i ) i<α M = i<α M i L- M i M Proof. M c M c M i m P P M = i<α P M i n F F M = i<α F M i M i M n ω ( ) n i < α n L(M i )- φ M = φ M i = φ n = 0 φ φ xψ(x) ( ): M = ψ(x) ψ(x) d M M d M j M j i < j M j = ψ(d) M j = xψ(x). M i M j M i = φ ( ) M L A M x = x 1,..., x n L(A)- Φ( x) M φ 1 ( x),..., φ n ( x) Φ( x) M = x[φ 1 ( x) φ n ( x)] Φ( x) L(A)- φ( x) φ( x) Φ( x) φ( x) Φ( x) Φ( x) M A n n 2. A S M (A) M S(A) n A S n (A) 25

26 3. p S(A) A p domain dom(p) 4. p(x) φ(x) p(x) M N {<, +, 1}- Φ(x) = {x > 1, x > 1 + 1, x > 1+1+1,...} N N 2. Q x Q Φ(x) = {f(x) 0 : f Q- } Φ(x) Q Φ(x) Q 68. M L- L(A)- Φ( x) M Φ( x) A Proof. Φ(x) Zorn 69. p(x) M c T = T h(m, a) a M p(c) T p(c) {φ(c) : φ(x) p(x)} 70. A M M L(A)- p( x) p( x) M M 71. M L- κ M M (*) M p dom(p) M, dom(p) < κ M 26

27 Proof. S M dom(p) < κ p S c p T = T h(m, a) a M p S p(c p ) c p p T M c p T M M T h(m, a) a M M M c p p M S M domain M domain κ domain M 72. M L- κ M dom(p) < κ p κ- (κ-saturated) 73. M L- κ M M M κ + - Proof. M 0 = M (M i ) i<κ + 1. A M i, A < κ + A M i+1 2. δ M δ = i<δ M i M = M κ + κ + - A M κ A M i M i M A M i+1 M A M i+1 M 74. L M κ + - M M 2 κ 27

28 75. M L- ā = a 1,..., a n M A M tp M (ā/a) = {φ( x) : φ( x) M = φ( x) L(A)- } M ā A M A p( x) M tp(ā/a) = p( x) ā M M κ- κ A M tp(ā/a) (ā M) 76. M N ℵ 0 - L- tp M (ā) = tp N ( b) a M b M tp M (ā, a) = tp N ( b, b) p( x, x) = tp M (ā, a) tp M (ā) = tp N ( b) p( b, x) N b N tp(ā, a) = tp( b, b) M N elementarily equivalent ā, b 4.2 L T L- 77. Σ(x) L- 1. L- φ(x) Σ(x) T isolate (a) T { φ(x)} (b) T M φ(x) Σ(x) T = x[φ(x) Σ(x)] 28

29 2. Σ(x) M Σ(x) M omit T Σ(x) T isolate T Σ(x) 78. T Σ(x) isolate Σ(x) T Proof. L {c i : i ω} L i = L {c j : j < i} L {c i : i ω} φ i (x) i ω φ i L i - L i - T 0 = T T i i ω (*) T i+1 = T i { xφ i (x) φ i (c i )} { σ i (c i )}, σ i (x) Σ(x) T i+1 T i+1 σ i Σ σ i Σ T i+1 i T i T θ( c) T = x[θ(x, c) ( xφ i (x) φ i (c i )) Σ(x)] c T T = x[ ȳθ(x, ȳ) Σ(x)]. Σ T isolate T i T = i ω T i M = T M M = {c M i : i ω} (*) Tarski-Vaught M M c i σ i (c i ) σ i Σ M Σ 79. Σ i (x)(i ω) T isolate Σ i (x) T 29

30 80. M N M elementary end extension (i) M N, (ii) a M, b N, b < a b M N M M M elementary end extension Proof. c L(M) T T = T h(m, a) a M {c > a : a M} T M elementary extension Claim 1 φ(x) L(M)-formula T {φ(c)} consisitent M = yφ(y) T {φ(c)} consistent T M = φ(c) a M M = y[y > a φ(y)] c M = y[y > a φ(y)]. a M M = yφ(y) b M (partial) type Σ b (x) Σ b (x) = {x < b} {x d : d M, d < b} Claim 2 Σ b (x) T isolate Σ b (x) φ(x, c) isolate 1. T {φ(x, c)} x < b; 2. T {φ(x, c)} x d ( d < M b) x < b φ(x, c) T consistent Claim 1 M = y x < b φ(x, y). 30

31 b M M M = x < b y φ(x, y). (1) M = y φ(d, y) (for some d M with d < b) (2) consisitent T {φ(x, c)} {x = d}. 2 31

Akito Tsuboi June 22, T ϕ T M M ϕ M M ϕ T ϕ 2 Definition 1 X, Y, Z,... 1

Akito Tsuboi June 22, T ϕ T M M ϕ M M ϕ T ϕ 2 Definition 1 X, Y, Z,... 1 Akito Tsuboi June 22, 2006 1 T ϕ T M M ϕ M M ϕ T ϕ 2 Definition 1 X, Y, Z,... 1 1. X, Y, Z,... 2. A, B (A), (A) (B), (A) (B), (A) (B) Exercise 2 1. (X) (Y ) 2. ((X) (Y )) (Z) 3. (((X) (Y )) (Z)) Exercise

More information

3 1 5 1.1........................... 5 1.1.1...................... 5 1.1.2........................ 6 1.1.3........................ 6 1.1.4....................... 6 1.1.5.......................... 7 1.1.6..........................

More information

1 (1) () (3) I 0 3 I I d θ = L () dt θ L L θ I d θ = L = κθ (3) dt κ T I T = π κ (4) T I κ κ κ L l a θ L r δr δl L θ ϕ ϕ = rθ (5) l

1 (1) () (3) I 0 3 I I d θ = L () dt θ L L θ I d θ = L = κθ (3) dt κ T I T = π κ (4) T I κ κ κ L l a θ L r δr δl L θ ϕ ϕ = rθ (5) l 1 1 ϕ ϕ ϕ S F F = ϕ (1) S 1: F 1 1 (1) () (3) I 0 3 I I d θ = L () dt θ L L θ I d θ = L = κθ (3) dt κ T I T = π κ (4) T I κ κ κ L l a θ L r δr δl L θ ϕ ϕ = rθ (5) l : l r δr θ πrδr δf (1) (5) δf = ϕ πrδr

More information

B

B B YES NO 5 7 6 1 4 3 2 BB BB BB AA AA BB 510J B B A 510J B A A A A A A 510J B A 510J B A A A A A 510J M = σ Z Z = M σ AAA π T T = a ZP ZP = a AAA π B M + M 2 +T 2 M T Me = = 1 + 1 + 2 2 M σ Te = M 2 +T

More information

2 2 1?? 2 1 1, 2 1, 2 1, 2, 3,... 1, 2 1, 3? , 2 2, 3? k, l m, n k, l m, n kn > ml...? 2 m, n n m

2 2 1?? 2 1 1, 2 1, 2 1, 2, 3,... 1, 2 1, 3? , 2 2, 3? k, l m, n k, l m, n kn > ml...? 2 m, n n m 2009 IA I 22, 23, 24, 25, 26, 27 4 21 1 1 2 1! 4, 5 1? 50 1 2 1 1 2 1 4 2 2 2 1?? 2 1 1, 2 1, 2 1, 2, 3,... 1, 2 1, 3? 2 1 3 1 2 1 1, 2 2, 3? 2 1 3 2 3 2 k, l m, n k, l m, n kn > ml...? 2 m, n n m 3 2

More information

2 1 κ c(t) = (x(t), y(t)) ( ) det(c (t), c x (t)) = det (t) x (t) y (t) y = x (t)y (t) x (t)y (t), (t) c (t) = (x (t)) 2 + (y (t)) 2. c (t) =

2 1 κ c(t) = (x(t), y(t)) ( ) det(c (t), c x (t)) = det (t) x (t) y (t) y = x (t)y (t) x (t)y (t), (t) c (t) = (x (t)) 2 + (y (t)) 2. c (t) = 1 1 1.1 I R 1.1.1 c : I R 2 (i) c C (ii) t I c (t) (0, 0) c (t) c(i) c c(t) 1.1.2 (1) (2) (3) (1) r > 0 c : R R 2 : t (r cos t, r sin t) (2) C f : I R c : I R 2 : t (t, f(t)) (3) y = x c : R R 2 : t (t,

More information

医系の統計入門第 2 版 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 第 2 版 1 刷発行時のものです.

医系の統計入門第 2 版 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます.   このサンプルページの内容は, 第 2 版 1 刷発行時のものです. 医系の統計入門第 2 版 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. http://www.morikita.co.jp/books/mid/009192 このサンプルページの内容は, 第 2 版 1 刷発行時のものです. i 2 t 1. 2. 3 2 3. 6 4. 7 5. n 2 ν 6. 2 7. 2003 ii 2 2013 10 iii 1987

More information

n 2 + π2 6 x [10 n x] x = lim n 10 n n 10 k x 1.1. a 1, a 2,, a n, (a n ) n=1 {a n } n=1 1.2 ( ). {a n } n=1 Q ε > 0 N N m, n N a m

n 2 + π2 6 x [10 n x] x = lim n 10 n n 10 k x 1.1. a 1, a 2,, a n, (a n ) n=1 {a n } n=1 1.2 ( ). {a n } n=1 Q ε > 0 N N m, n N a m 1 1 1 + 1 4 + + 1 n 2 + π2 6 x [10 n x] x = lim n 10 n n 10 k x 1.1. a 1, a 2,, a n, (a n ) n=1 {a n } n=1 1.2 ( ). {a n } n=1 Q ε > 0 N N m, n N a m a n < ε 1 1. ε = 10 1 N m, n N a m a n < ε = 10 1 N

More information

基礎数学I

基礎数学I I & II ii ii........... 22................. 25 12............... 28.................. 28.................... 31............. 32.................. 34 3 1 9.................... 1....................... 1............

More information

°ÌÁê¿ô³ØII

°ÌÁê¿ô³ØII July 14, 2007 Brouwer f f(x) = x x f(z) = 0 2 f : S 2 R 2 f(x) = f( x) x S 2 3 3 2 - - - 1. X x X U(x) U(x) x U = {U(x) x X} X 1. U(x) A U(x) x 2. A U(x), A B B U(x) 3. A, B U(x) A B U(x) 4. A U(x),

More information

1. 1 A : l l : (1) l m (m 3) (2) m (3) n (n 3) (4) A α, β γ α β + γ = 2 m l lm n nα nα = lm. α = lm n. m lm 2β 2β = lm β = lm 2. γ l 2. 3

1. 1 A : l l : (1) l m (m 3) (2) m (3) n (n 3) (4) A α, β γ α β + γ = 2 m l lm n nα nα = lm. α = lm n. m lm 2β 2β = lm β = lm 2. γ l 2. 3 1. 1 A : l l : (1) l m (m 3) (2) m (3) n (n 3) (4) A 2 1 2 1 2 3 α, β γ α β + γ = 2 m l lm n nα nα = lm. α = lm n. m lm 2β 2β = lm β = lm 2. γ l 2. 3 4 P, Q R n = {(x 1, x 2,, x n ) ; x 1, x 2,, x n R}

More information

A = A x x + A y y + A, B = B x x + B y y + B, C = C x x + C y y + C..6 x y A B C = A x x + A y y + A B x B y B C x C y C { B = A x x + A y y + A y B B

A = A x x + A y y + A, B = B x x + B y y + B, C = C x x + C y y + C..6 x y A B C = A x x + A y y + A B x B y B C x C y C { B = A x x + A y y + A y B B 9 7 A = A x x + A y y + A, B = B x x + B y y + B, C = C x x + C y y + C..6 x y A B C = A x x + A y y + A B x B y B C x C y C { B = A x x + A y y + A y B B x x B } B C y C y + x B y C x C C x C y B = A

More information

Basic Math. 1 0 [ N Z Q Q c R C] 1, 2, 3,... natural numbers, N Def.(Definition) N (1) 1 N, (2) n N = n +1 N, (3) N (1), (2), n N n N (element). n/ N.

Basic Math. 1 0 [ N Z Q Q c R C] 1, 2, 3,... natural numbers, N Def.(Definition) N (1) 1 N, (2) n N = n +1 N, (3) N (1), (2), n N n N (element). n/ N. Basic Mathematics 16 4 16 3-4 (10:40-12:10) 0 1 1 2 2 2 3 (mapping) 5 4 ε-δ (ε-δ Logic) 6 5 (Potency) 9 6 (Equivalence Relation and Order) 13 7 Zorn (Axiom of Choice, Zorn s Lemma) 14 8 (Set and Topology)

More information

Morse ( ) 2014

Morse ( ) 2014 Morse ( ) 2014 1 1 Morse 1 1.1 Morse................................ 1 1.2 Morse.............................. 7 2 12 2.1....................... 12 2.2.................. 13 2.3 Smale..............................

More information

v v = v 1 v 2 v 3 (1) R = (R ij ) (2) R (R 1 ) ij = R ji (3) 3 R ij R ik = δ jk (4) i=1 δ ij Kronecker δ ij = { 1 (i = j) 0 (i

v v = v 1 v 2 v 3 (1) R = (R ij ) (2) R (R 1 ) ij = R ji (3) 3 R ij R ik = δ jk (4) i=1 δ ij Kronecker δ ij = { 1 (i = j) 0 (i 1. 1 1.1 1.1.1 1.1.1.1 v v = v 1 v 2 v 3 (1) R = (R ij ) (2) R (R 1 ) ij = R ji (3) R ij R ik = δ jk (4) δ ij Kronecker δ ij = { 1 (i = j) 0 (i j) (5) 1 1.1. v1.1 2011/04/10 1. 1 2 v i = R ij v j (6) [

More information

2000年度『数学展望 I』講義録

2000年度『数学展望 I』講義録 2000 I I IV I II 2000 I I IV I-IV. i ii 3.10 (http://www.math.nagoya-u.ac.jp/ kanai/) 2000 A....1 B....4 C....10 D....13 E....17 Brouwer A....21 B....26 C....33 D....39 E. Sperner...45 F....48 A....53

More information

19 σ = P/A o σ B Maximum tensile strength σ % 0.2% proof stress σ EL Elastic limit Work hardening coefficient failure necking σ PL Proportional

19 σ = P/A o σ B Maximum tensile strength σ % 0.2% proof stress σ EL Elastic limit Work hardening coefficient failure necking σ PL Proportional 19 σ = P/A o σ B Maximum tensile strength σ 0. 0.% 0.% proof stress σ EL Elastic limit Work hardening coefficient failure necking σ PL Proportional limit ε p = 0.% ε e = σ 0. /E plastic strain ε = ε e

More information

,. Black-Scholes u t t, x c u 0 t, x x u t t, x c u t, x x u t t, x + σ x u t, x + rx ut, x rux, t 0 x x,,.,. Step 3, 7,,, Step 6., Step 4,. Step 5,,.

,. Black-Scholes u t t, x c u 0 t, x x u t t, x c u t, x x u t t, x + σ x u t, x + rx ut, x rux, t 0 x x,,.,. Step 3, 7,,, Step 6., Step 4,. Step 5,,. 9 α ν β Ξ ξ Γ γ o δ Π π ε ρ ζ Σ σ η τ Θ θ Υ υ ι Φ φ κ χ Λ λ Ψ ψ µ Ω ω Def, Prop, Th, Lem, Note, Remark, Ex,, Proof, R, N, Q, C [a, b {x R : a x b} : a, b {x R : a < x < b} : [a, b {x R : a x < b} : a,

More information

: , 2.0, 3.0, 2.0, (%) ( 2.

: , 2.0, 3.0, 2.0, (%) ( 2. 2017 1 2 1.1...................................... 2 1.2......................................... 4 1.3........................................... 10 1.4................................. 14 1.5..........................................

More information

1 X X A, B X = A B A B A B X 1.1 R R I I a, b(a < b) I a x b = x I 1.2 R A 1.3 X : (1)X (2)X X (3)X A, B X = A B A B = 1.4 f : X Y X Y ( ) A Y A Y A f

1 X X A, B X = A B A B A B X 1.1 R R I I a, b(a < b) I a x b = x I 1.2 R A 1.3 X : (1)X (2)X X (3)X A, B X = A B A B = 1.4 f : X Y X Y ( ) A Y A Y A f 1 X X A, B X = A B A B A B X 1.1 R R I I a, b(a < b) I a x b = x I 1. R A 1.3 X : (1)X ()X X (3)X A, B X = A B A B = 1.4 f : X Y X Y ( ) A Y A Y A f 1 (A) f X X f 1 (A) = X f 1 (A) = A a A f f(x) = a x

More information

1 (Berry,1975) 2-6 p (S πr 2 )p πr 2 p 2πRγ p p = 2γ R (2.5).1-1 : : : : ( ).2 α, β α, β () X S = X X α X β (.1) 1 2

1 (Berry,1975) 2-6 p (S πr 2 )p πr 2 p 2πRγ p p = 2γ R (2.5).1-1 : : : : ( ).2 α, β α, β () X S = X X α X β (.1) 1 2 2005 9/8-11 2 2.2 ( 2-5) γ ( ) γ cos θ 2πr πρhr 2 g h = 2γ cos θ ρgr (2.1) γ = ρgrh (2.2) 2 cos θ θ cos θ = 1 (2.2) γ = 1 ρgrh (2.) 2 2. p p ρgh p ( ) p p = p ρgh (2.) h p p = 2γ r 1 1 (Berry,1975) 2-6

More information

2 G(k) e ikx = (ik) n x n n! n=0 (k ) ( ) X n = ( i) n n k n G(k) k=0 F (k) ln G(k) = ln e ikx n κ n F (k) = F (k) (ik) n n= n! κ n κ n = ( i) n n k n

2 G(k) e ikx = (ik) n x n n! n=0 (k ) ( ) X n = ( i) n n k n G(k) k=0 F (k) ln G(k) = ln e ikx n κ n F (k) = F (k) (ik) n n= n! κ n κ n = ( i) n n k n . X {x, x 2, x 3,... x n } X X {, 2, 3, 4, 5, 6} X x i P i. 0 P i 2. n P i = 3. P (i ω) = i ω P i P 3 {x, x 2, x 3,... x n } ω P i = 6 X f(x) f(x) X n n f(x i )P i n x n i P i X n 2 G(k) e ikx = (ik) n

More information

SO(3) 7 = = 1 ( r ) + 1 r r r r ( l ) (5.17) l = 1 ( sin θ ) + sin θ θ θ ϕ (5.18) χ(r)ψ(θ, ϕ) l ψ = αψ (5.19) l 1 = i(sin ϕ θ l = i( cos ϕ θ l 3 = i ϕ

SO(3) 7 = = 1 ( r ) + 1 r r r r ( l ) (5.17) l = 1 ( sin θ ) + sin θ θ θ ϕ (5.18) χ(r)ψ(θ, ϕ) l ψ = αψ (5.19) l 1 = i(sin ϕ θ l = i( cos ϕ θ l 3 = i ϕ SO(3) 71 5.7 5.7.1 1 ħ L k l k l k = iϵ kij x i j (5.117) l k SO(3) l z l ± = l 1 ± il = i(y z z y ) ± (z x x z ) = ( x iy) z ± z( x ± i y ) = X ± z ± z (5.118) l z = i(x y y x ) = 1 [(x + iy)( x i y )

More information

4. ϵ(ν, T ) = c 4 u(ν, T ) ϵ(ν, T ) T ν π4 Planck dx = 0 e x 1 15 U(T ) x 3 U(T ) = σt 4 Stefan-Boltzmann σ 2π5 k 4 15c 2 h 3 = W m 2 K 4 5.

4. ϵ(ν, T ) = c 4 u(ν, T ) ϵ(ν, T ) T ν π4 Planck dx = 0 e x 1 15 U(T ) x 3 U(T ) = σt 4 Stefan-Boltzmann σ 2π5 k 4 15c 2 h 3 = W m 2 K 4 5. A 1. Boltzmann Planck u(ν, T )dν = 8πh ν 3 c 3 kt 1 dν h 6.63 10 34 J s Planck k 1.38 10 23 J K 1 Boltzmann u(ν, T ) T ν e hν c = 3 10 8 m s 1 2. Planck λ = c/ν Rayleigh-Jeans u(ν, T )dν = 8πν2 kt dν c

More information

D 24 D D D

D 24 D D D 5 Paper I.R. 2001 5 Paper HP Paper 5 3 5.1................................................... 3 5.2.................................................... 4 5.3.......................................... 6

More information

量子力学 問題

量子力学 問題 3 : 203 : 0. H = 0 0 2 6 0 () = 6, 2 = 2, 3 = 3 3 H 6 2 3 ϵ,2,3 (2) ψ = (, 2, 3 ) ψ Hψ H (3) P i = i i P P 2 = P 2 P 3 = P 3 P = O, P 2 i = P i (4) P + P 2 + P 3 = E 3 (5) i ϵ ip i H 0 0 (6) R = 0 0 [H,

More information

2016 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 1 16 2 1 () X O 3 (O1) X O, O (O2) O O (O3) O O O X (X, O) O X X (O1), (O2), (O3) (O2) (O3) n (O2) U 1,..., U n O U k O k=1 (O3) U λ O( λ Λ) λ Λ U λ O 0 X 0 (O2) n =

More information

DVIOUT-fujin

DVIOUT-fujin 2005 Limit Distribution of Quantum Walks and Weyl Equation 2006 3 2 1 2 2 4 2.1...................... 4 2.2......................... 5 2.3..................... 6 3 8 3.1........... 8 3.2..........................

More information

N cos s s cos ψ e e e e 3 3 e e 3 e 3 e

N cos s s cos ψ e e e e 3 3 e e 3 e 3 e 3 3 5 5 5 3 3 7 5 33 5 33 9 5 8 > e > f U f U u u > u ue u e u ue u ue u e u e u u e u u e u N cos s s cos ψ e e e e 3 3 e e 3 e 3 e 3 > A A > A E A f A A f A [ ] f A A e > > A e[ ] > f A E A < < f ; >

More information

koji07-01.dvi

koji07-01.dvi 2007 I II III 1, 2, 3, 4, 5, 6, 7 5 10 19 (!) 1938 70 21? 1 1 2 1 2 2 1! 4, 5 1? 50 1 2 1 1 2 2 1?? 2 1 1, 2 1, 2 1, 2, 3,... 3 1, 2 1, 3? 2 1 3 1 2 1 1, 2 2, 3? 2 1 3 2 3 2 k,l m, n k,l m, n kn > ml...?

More information

http://www.ike-dyn.ritsumei.ac.jp/ hyoo/wave.html 1 1, 5 3 1.1 1..................................... 3 1.2 5.1................................... 4 1.3.......................... 5 1.4 5.2, 5.3....................

More information

n ξ n,i, i = 1,, n S n ξ n,i n 0 R 1,.. σ 1 σ i .10.14.15 0 1 0 1 1 3.14 3.18 3.19 3.14 3.14,. ii 1 1 1.1..................................... 1 1............................... 3 1.3.........................

More information

(Compton Scattering) Beaming 1 exp [i (k x ωt)] k λ k = 2π/λ ω = 2πν k = ω/c k x ωt ( ω ) k α c, k k x ωt η αβ k α x β diag( + ++) x β = (ct, x) O O x

(Compton Scattering) Beaming 1 exp [i (k x ωt)] k λ k = 2π/λ ω = 2πν k = ω/c k x ωt ( ω ) k α c, k k x ωt η αβ k α x β diag( + ++) x β = (ct, x) O O x Compton Scattering Beaming exp [i k x ωt] k λ k π/λ ω πν k ω/c k x ωt ω k α c, k k x ωt η αβ k α x β diag + ++ x β ct, x O O x O O v k α k α β, γ k γ k βk, k γ k + βk k γ k k, k γ k + βk 3 k k 4 k 3 k

More information

1 α X (path) α I = [0, 1] X α(0) = α(1) = p α p (base point) loop α(1) = β(0) X α, β α β : I X (α β)(s) = ( )α β { α(2s) (0 s 1 2 ) β(2s 1) ( 1 2 s 1)

1 α X (path) α I = [0, 1] X α(0) = α(1) = p α p (base point) loop α(1) = β(0) X α, β α β : I X (α β)(s) = ( )α β { α(2s) (0 s 1 2 ) β(2s 1) ( 1 2 s 1) 1 α X (path) α I = [0, 1] X α(0) = α(1) = p α p (base point) loop α(1) = β(0) X α, β α β : I X (α β)(s) = ( )α β { α(2s) (0 s 1 2 ) β(2s 1) ( 1 2 s 1) X α α 1 : I X α 1 (s) = α(1 s) ( )α 1 1.1 X p X Ω(p)

More information

untitled

untitled 1 kaiseki1.lec(tex) 19951228 19960131;0204 14;16 26;0329; 0410;0506;22;0603-05;08;20;0707;09;11-22;24-28;30;0807;12-24;27;28; 19970104(σ,F = µ);0212( ); 0429(σ- A n ); 1221( ); 20000529;30(L p ); 20050323(

More information

untitled

untitled 8- My + Cy + Ky = f () t 8. C f () t ( t) = Ψq( t) () t = Ψq () t () t = Ψq () t = ( q q ) ; = [ ] y y y q Ψ φ φ φ = ( ϕ, ϕ, ϕ,3 ) 8. ψ Ψ MΨq + Ψ CΨq + Ψ KΨq = Ψ f ( t) Ψ MΨ = I; Ψ CΨ = C; Ψ KΨ = Λ; q

More information

構造と連続体の力学基礎

構造と連続体の力学基礎 II 37 Wabash Avenue Bridge, Illinois 州 Winnipeg にある歩道橋 Esplanade Riel 橋6 6 斜張橋である必要は多分無いと思われる すぐ横に道路用桁橋有り しかも塔基部のレストランは 8 年には営業していなかった 9 9. 9.. () 97 [3] [5] k 9. m w(t) f (t) = f (t) + mg k w(t) Newton

More information

7 π L int = gψ(x)ψ(x)φ(x) + (7.4) [ ] p ψ N = n (7.5) π (π +,π 0,π ) ψ (σ, σ, σ )ψ ( A) σ τ ( L int = gψψφ g N τ ) N π * ) (7.6) π π = (π, π, π ) π ±

7 π L int = gψ(x)ψ(x)φ(x) + (7.4) [ ] p ψ N = n (7.5) π (π +,π 0,π ) ψ (σ, σ, σ )ψ ( A) σ τ ( L int = gψψφ g N τ ) N π * ) (7.6) π π = (π, π, π ) π ± 7 7. ( ) SU() SU() 9 ( MeV) p 98.8 π + π 0 n 99.57 9.57 97.4 497.70 δm m 0.4%.% 0.% 0.8% π 9.57 4.96 Σ + Σ 0 Σ 89.6 9.46 K + K 0 49.67 (7.) p p = αp + βn, n n = γp + δn (7.a) [ ] p ψ ψ = Uψ, U = n [ α

More information

f(x) = f(x ) + α(x)(x x ) α(x) x = x. x = f (y), x = f (y ) y = f f (y) = f f (y ) + α(f (y))(f (y) f (y )) f (y) = f (y ) + α(f (y)) (y y ) ( (2) ) f

f(x) = f(x ) + α(x)(x x ) α(x) x = x. x = f (y), x = f (y ) y = f f (y) = f f (y ) + α(f (y))(f (y) f (y )) f (y) = f (y ) + α(f (y)) (y y ) ( (2) ) f 22 A 3,4 No.3 () (2) (3) (4), (5) (6) (7) (8) () n x = (x,, x n ), = (,, n ), x = ( (x i i ) 2 ) /2 f(x) R n f(x) = f() + i α i (x ) i + o( x ) α,, α n g(x) = o( x )) lim x g(x) x = y = f() + i α i(x )

More information

SO(3) 49 u = Ru (6.9), i u iv i = i u iv i (C ) π π : G Hom(V, V ) : g D(g). π : R 3 V : i 1. : u u = u 1 u 2 u 3 (6.10) 6.2 i R α (1) = 0 cos α

SO(3) 49 u = Ru (6.9), i u iv i = i u iv i (C ) π π : G Hom(V, V ) : g D(g). π : R 3 V : i 1. : u u = u 1 u 2 u 3 (6.10) 6.2 i R α (1) = 0 cos α SO(3) 48 6 SO(3) t 6.1 u, v u = u 1 1 + u 2 2 + u 3 3 = u 1 e 1 + u 2 e 2 + u 3 e 3, v = v 1 1 + v 2 2 + v 3 3 = v 1 e 1 + v 2 e 2 + v 3 e 3 (6.1) i (e i ) e i e j = i j = δ ij (6.2) ( u, v ) = u v = ij

More information

‚åŁÎ“·„´Šš‡ðŠp‡¢‡½‹âfi`fiI…A…‰…S…−…Y…•‡ÌMarkovŸA“½fiI›ð’Í

‚åŁÎ“·„´Šš‡ðŠp‡¢‡½‹âfi`fiI…A…‰…S…−…Y…•‡ÌMarkovŸA“½fiI›ð’Í Markov 2009 10 2 Markov 2009 10 2 1 / 25 1 (GA) 2 GA 3 4 Markov 2009 10 2 2 / 25 (GA) (GA) L ( 1) I := {0, 1} L f : I (0, ) M( 2) S := I M GA (GA) f (i) i I Markov 2009 10 2 3 / 25 (GA) ρ(i, j), i, j I

More information

LLG-R8.Nisus.pdf

LLG-R8.Nisus.pdf d M d t = γ M H + α M d M d t M γ [ 1/ ( Oe sec) ] α γ γ = gµ B h g g µ B h / π γ g = γ = 1.76 10 [ 7 1/ ( Oe sec) ] α α = λ γ λ λ λ α γ α α H α = γ H ω ω H α α H K K H K / M 1 1 > 0 α 1 M > 0 γ α γ =

More information

16 B

16 B 16 B (1) 3 (2) (3) 5 ( ) 3 : 2 3 : 3 : () 3 19 ( ) 2 ax 2 + bx + c = 0 (a 0) x = b ± b 2 4ac 2a 3, 4 5 1824 5 Contents 1. 1 2. 7 3. 13 4. 18 5. 22 6. 25 7. 27 8. 31 9. 37 10. 46 11. 50 12. 56 i 1 1. 1.1..

More information

W u = u(x, t) u tt = a 2 u xx, a > 0 (1) D := {(x, t) : 0 x l, t 0} u (0, t) = 0, u (l, t) = 0, t 0 (2)

W u = u(x, t) u tt = a 2 u xx, a > 0 (1) D := {(x, t) : 0 x l, t 0} u (0, t) = 0, u (l, t) = 0, t 0 (2) 3 215 4 27 1 1 u u(x, t) u tt a 2 u xx, a > (1) D : {(x, t) : x, t } u (, t), u (, t), t (2) u(x, ) f(x), u(x, ) t 2, x (3) u(x, t) X(x)T (t) u (1) 1 T (t) a 2 T (t) X (x) X(x) α (2) T (t) αa 2 T (t) (4)

More information

kou05.dvi

kou05.dvi 2 C () 25 1 3 1.1........................................ 3 1.2..................................... 4 1.3..................................... 7 1.3.1................................ 7 1.3.2.................................

More information

24 201170068 1 4 2 6 2.1....................... 6 2.1.1................... 6 2.1.2................... 7 2.1.3................... 8 2.2..................... 8 2.3................. 9 2.3.1........... 12

More information

H 0 H = H 0 + V (t), V (t) = gµ B S α qb e e iωt i t Ψ(t) = [H 0 + V (t)]ψ(t) Φ(t) Ψ(t) = e ih0t Φ(t) H 0 e ih0t Φ(t) + ie ih0t t Φ(t) = [

H 0 H = H 0 + V (t), V (t) = gµ B S α qb e e iωt i t Ψ(t) = [H 0 + V (t)]ψ(t) Φ(t) Ψ(t) = e ih0t Φ(t) H 0 e ih0t Φ(t) + ie ih0t t Φ(t) = [ 3 3. 3.. H H = H + V (t), V (t) = gµ B α B e e iωt i t Ψ(t) = [H + V (t)]ψ(t) Φ(t) Ψ(t) = e iht Φ(t) H e iht Φ(t) + ie iht t Φ(t) = [H + V (t)]e iht Φ(t) Φ(t) i t Φ(t) = V H(t)Φ(t), V H (t) = e iht V (t)e

More information

8.1 Fubini 8.2 Fubini 9 (0%) 10 (50%) Carathéodory 10.3 Fubini 1 Introduction 1 (1) (2) {f n (x)} n=1 [a, b] K > 0 n, x f n (x) K < ( ) x [a

8.1 Fubini 8.2 Fubini 9 (0%) 10 (50%) Carathéodory 10.3 Fubini 1 Introduction 1 (1) (2) {f n (x)} n=1 [a, b] K > 0 n, x f n (x) K < ( ) x [a % 100% 1 Introduction 2 (100%) 2.1 2.2 2.3 3 (100%) 3.1 3.2 σ- 4 (100%) 4.1 4.2 5 (100%) 5.1 5.2 5.3 6 (100%) 7 (40%) 8 Fubini (90%) 2007.11.5 1 8.1 Fubini 8.2 Fubini 9 (0%) 10 (50%) 10.1 10.2 Carathéodory

More information

untitled

untitled ( 9:: 3:6: (k 3 45 k F m tan 45 k 45 k F m tan S S F m tan( 6.8k tan k F m ( + k tan 373 S S + Σ Σ 3 + Σ os( sin( + Σ sin( os( + sin( os( p z ( γ z + K pzdz γ + K γ K + γ + 9 ( 9 (+ sin( sin { 9 ( } 4

More information

Part () () Γ Part ,

Part () () Γ Part , Contents a 6 6 6 6 6 6 6 7 7. 8.. 8.. 8.3. 8 Part. 9. 9.. 9.. 3. 3.. 3.. 3 4. 5 4.. 5 4.. 9 4.3. 3 Part. 6 5. () 6 5.. () 7 5.. 9 5.3. Γ 3 6. 3 6.. 3 6.. 3 6.3. 33 Part 3. 34 7. 34 7.. 34 7.. 34 8. 35

More information

untitled

untitled 1 n m (ICA = independent component analysis) BSS (= blind source separation) : s(t) =(s 1 (t),...,s n (t)) R n : x(t) =(x 1 (t),...,x n (t)) R m 1 i s i (t) a ji R j 2 (A =(a ji )) x(t) =As(t) (1) n =

More information

I ( ) 1 de Broglie 1 (de Broglie) p λ k h Planck ( Js) p = h λ = k (1) h 2π : Dirac k B Boltzmann ( J/K) T U = 3 2 k BT

I ( ) 1 de Broglie 1 (de Broglie) p λ k h Planck ( Js) p = h λ = k (1) h 2π : Dirac k B Boltzmann ( J/K) T U = 3 2 k BT I (008 4 0 de Broglie (de Broglie p λ k h Planck ( 6.63 0 34 Js p = h λ = k ( h π : Dirac k B Boltzmann (.38 0 3 J/K T U = 3 k BT ( = λ m k B T h m = 0.067m 0 m 0 = 9. 0 3 kg GaAs( a T = 300 K 3 fg 07345

More information

t = h x z z = h z = t (x, z) (v x (x, z, t), v z (x, z, t)) ρ v x x + v z z = 0 (1) 2-2. (v x, v z ) φ(x, z, t) v x = φ x, v z

t = h x z z = h z = t (x, z) (v x (x, z, t), v z (x, z, t)) ρ v x x + v z z = 0 (1) 2-2. (v x, v z ) φ(x, z, t) v x = φ x, v z I 1 m 2 l k 2 x = 0 x 1 x 1 2 x 2 g x x 2 x 1 m k m 1-1. L x 1, x 2, ẋ 1, ẋ 2 ẋ 1 x = 0 1-2. 2 Q = x 1 + x 2 2 q = x 2 x 1 l L Q, q, Q, q M = 2m µ = m 2 1-3. Q q 1-4. 2 x 2 = h 1 x 1 t = 0 2 1 t x 1 (t)

More information

main.dvi

main.dvi SGC - 70 2, 3 23 ɛ-δ 2.12.8 3 2.92.13 4 2 3 1 2.1 2.102.12 [8][14] [1],[2] [4][7] 2 [4] 1 2009 8 1 1 1.1... 1 1.2... 4 1.3 1... 8 1.4 2... 9 1.5... 12 1.6 1... 16 1.7... 18 1.8... 21 1.9... 23 2 27 2.1

More information

24 I ( ) 1. R 3 (i) C : x 2 + y 2 1 = 0 (ii) C : y = ± 1 x 2 ( 1 x 1) (iii) C : x = cos t, y = sin t (0 t 2π) 1.1. γ : [a, b] R n ; t γ(t) = (x

24 I ( ) 1. R 3 (i) C : x 2 + y 2 1 = 0 (ii) C : y = ± 1 x 2 ( 1 x 1) (iii) C : x = cos t, y = sin t (0 t 2π) 1.1. γ : [a, b] R n ; t γ(t) = (x 24 I 1.1.. ( ) 1. R 3 (i) C : x 2 + y 2 1 = 0 (ii) C : y = ± 1 x 2 ( 1 x 1) (iii) C : x = cos t, y = sin t (0 t 2π) 1.1. γ : [a, b] R n ; t γ(t) = (x 1 (t), x 2 (t),, x n (t)) ( ) ( ), γ : (i) x 1 (t),

More information

25 7 18 1 1 1.1 v.s............................. 1 1.1.1.................................. 1 1.1.2................................. 1 1.1.3.................................. 3 1.2................... 3

More information

9. 05 L x P(x) P(0) P(x) u(x) u(x) (0 < = x < = L) P(x) E(x) A(x) P(L) f ( d EA du ) = 0 (9.) dx dx u(0) = 0 (9.2) E(L)A(L) du (L) = f (9.3) dx (9.) P

9. 05 L x P(x) P(0) P(x) u(x) u(x) (0 < = x < = L) P(x) E(x) A(x) P(L) f ( d EA du ) = 0 (9.) dx dx u(0) = 0 (9.2) E(L)A(L) du (L) = f (9.3) dx (9.) P 9 (Finite Element Method; FEM) 9. 9. P(0) P(x) u(x) (a) P(L) f P(0) P(x) (b) 9. P(L) 9. 05 L x P(x) P(0) P(x) u(x) u(x) (0 < = x < = L) P(x) E(x) A(x) P(L) f ( d EA du ) = 0 (9.) dx dx u(0) = 0 (9.2) E(L)A(L)

More information

振動工学に基礎

振動工学に基礎 Ky Words. ω. ω.3 osω snω.4 ω snω ω osω.5 .6 ω osω snω.7 ω ω ( sn( ω φ.7 ( ω os( ω φ.8 ω ( ω sn( ω φ.9 ω anφ / ω ω φ ω T ω T s π T π. ω Hz ω. T π π rad/s π ω π T. T ω φ 6. 6. 4. 4... -... -. -4. -4. -6.

More information

ver F = i f i m r = F r = 0 F = 0 X = Y = Z = 0 (1) δr = (δx, δy, δz) F δw δw = F δr = Xδx + Y δy + Zδz = 0 (2) δr (2) 1 (1) (2 n (X i δx

ver F = i f i m r = F r = 0 F = 0 X = Y = Z = 0 (1) δr = (δx, δy, δz) F δw δw = F δr = Xδx + Y δy + Zδz = 0 (2) δr (2) 1 (1) (2 n (X i δx ver. 1.0 18 6 20 F = f m r = F r = 0 F = 0 X = Y = Z = 0 (1 δr = (δx, δy, δz F δw δw = F δr = Xδx + Y δy + Zδz = 0 (2 δr (2 1 (1 (2 n (X δx + Y δy + Z δz = 0 (3 1 F F = (X, Y, Z δr = (δx, δy, δz S δr δw

More information

untitled

untitled C n π/n σ S n π/n v h N tc C S S S S S S S S S S S S S σ v S C σ v C σ v S. O. C / 8 Grou ABCABC EAAEA E AA - A- AE A - N C v EC C σ v σ v σ v 6 C C σ v σ v σ v X X A X - AXB B A B A B B A A C B C A B...

More information

数学Ⅱ演習(足助・09夏)

数学Ⅱ演習(足助・09夏) II I 9/4/4 9/4/2 z C z z z z, z 2 z, w C zw z w 3 z, w C z + w z + w 4 t R t C t t t t t z z z 2 z C re z z + z z z, im z 2 2 3 z C e z + z + 2 z2 + 3! z3 + z!, I 4 x R e x cos x + sin x 2 z, w C e z+w

More information

( 28 ) ( ) ( ) 0 This note is c 2016, 2017 by Setsuo Taniguchi. It may be used for personal or classroom purposes, but not for commercial purp

( 28 ) ( ) ( ) 0 This note is c 2016, 2017 by Setsuo Taniguchi. It may be used for personal or classroom purposes, but not for commercial purp ( 28) ( ) ( 28 9 22 ) 0 This ote is c 2016, 2017 by Setsuo Taiguchi. It may be used for persoal or classroom purposes, but ot for commercial purposes. i (http://www.stat.go.jp/teacher/c2epi1.htm ) = statistics

More information

) ] [ h m x + y + + V x) φ = Eφ 1) z E = i h t 13) x << 1) N n n= = N N + 1) 14) N n n= = N N + 1)N + 1) 6 15) N n 3 n= = 1 4 N N + 1) 16) N n 4

) ] [ h m x + y + + V x) φ = Eφ 1) z E = i h t 13) x << 1) N n n= = N N + 1) 14) N n n= = N N + 1)N + 1) 6 15) N n 3 n= = 1 4 N N + 1) 16) N n 4 1. k λ ν ω T v p v g k = π λ ω = πν = π T v p = λν = ω k v g = dω dk 1) ) 3) 4). p = hk = h λ 5) E = hν = hω 6) h = h π 7) h =6.6618 1 34 J sec) hc=197.3 MeV fm = 197.3 kev pm= 197.3 ev nm = 1.97 1 3 ev

More information

gr09.dvi

gr09.dvi .1, θ, ϕ d = A, t dt + B, t dtd + C, t d + D, t dθ +in θdϕ.1.1 t { = f1,t t = f,t { D, t = B, t =.1. t A, tdt e φ,t dt, C, td e λ,t d.1.3,t, t d = e φ,t dt + e λ,t d + dθ +in θdϕ.1.4 { = f1,t t = f,t {

More information

SAMA- SUKU-RU Contents p-adic families of Eisenstein series (modular form) Hecke Eisenstein Eisenstein p T

SAMA- SUKU-RU Contents p-adic families of Eisenstein series (modular form) Hecke Eisenstein Eisenstein p T SAMA- SUKU-RU Contents 1. 1 2. 7.1. p-adic families of Eisenstein series 3 2.1. modular form Hecke 3 2.2. Eisenstein 5 2.3. Eisenstein p 7 3. 7.2. The projection to the ordinary part 9 3.1. The ordinary

More information

( ) ( )

( ) ( ) 20 21 2 8 1 2 2 3 21 3 22 3 23 4 24 5 25 5 26 6 27 8 28 ( ) 9 3 10 31 10 32 ( ) 12 4 13 41 0 13 42 14 43 0 15 44 17 5 18 6 18 1 1 2 2 1 2 1 0 2 0 3 0 4 0 2 2 21 t (x(t) y(t)) 2 x(t) y(t) γ(t) (x(t) y(t))

More information

211 kotaro@math.titech.ac.jp 1 R *1 n n R n *2 R n = {(x 1,..., x n ) x 1,..., x n R}. R R 2 R 3 R n R n R n D D R n *3 ) (x 1,..., x n ) f(x 1,..., x n ) f D *4 n 2 n = 1 ( ) 1 f D R n f : D R 1.1. (x,

More information

第86回日本感染症学会総会学術集会後抄録(I)

第86回日本感染症学会総会学術集会後抄録(I) κ κ κ κ κ κ μ μ β β β γ α α β β γ α β α α α γ α β β γ μ β β μ μ α ββ β β β β β β β β β β β β β β β β β β γ β μ μ μ μμ μ μ μ μ β β μ μ μ μ μ μ μ μ μ μ μ μ μ μ β

More information

成長機構

成長機構 j im πmkt jin jim π mkt j q out j q im π mkt jin j j q out out π mkt π mkt dn dt πmkt dn v( ) Rmax bf dt πmkt R v ( J J ), J J, J J + + T T, J J m + Q+ / kt Q / kt + ( Q Q+ )/ ktm l / ktm J / J, l Q Q

More information

untitled

untitled ( ) c a sin b c b c a cos a c b c a tan b a b cos sin a c b c a ccos b csin (4) Ma k Mg a (Gal) g(98gal) (Gal) a max (K-E) kh Zck.85.6. 4 Ma g a k a g k D τ f c + σ tanφ σ 3 3 /A τ f3 S S τ A σ /A σ /A

More information

SFGÇÃÉXÉyÉNÉgÉãå`.pdf

SFGÇÃÉXÉyÉNÉgÉãå`.pdf SFG 1 SFG SFG I SFG (ω) χ SFG (ω). SFG χ χ SFG (ω) = χ NR e iϕ +. ω ω + iγ SFG φ = ±π/, χ φ = ±π 3 χ SFG χ SFG = χ NR + χ (ω ω ) + Γ + χ NR χ (ω ω ) (ω ω ) + Γ cosϕ χ NR χ Γ (ω ω ) + Γ sinϕ. 3 (θ) 180

More information

p = mv p x > h/4π λ = h p m v Ψ 2 Ψ

p = mv p x > h/4π λ = h p m v Ψ 2 Ψ II p = mv p x > h/4π λ = h p m v Ψ 2 Ψ Ψ Ψ 2 0 x P'(x) m d 2 x = mω 2 x = kx = F(x) dt 2 x = cos(ωt + φ) mω 2 = k ω = m k v = dx = -ωsin(ωt + φ) dt = d 2 x dt 2 0 y v θ P(x,y) θ = ωt + φ ν = ω [Hz] 2π

More information

1 Introduction 1 (1) (2) (3) () {f n (x)} n=1 [a, b] K > 0 n, x f n (x) K < ( ) x [a, b] lim f n (x) f(x) (1) f(x)? (2) () f(x)? b lim a f n (x)dx = b

1 Introduction 1 (1) (2) (3) () {f n (x)} n=1 [a, b] K > 0 n, x f n (x) K < ( ) x [a, b] lim f n (x) f(x) (1) f(x)? (2) () f(x)? b lim a f n (x)dx = b 1 Introduction 2 2.1 2.2 2.3 3 3.1 3.2 σ- 4 4.1 4.2 5 5.1 5.2 5.3 6 7 8. Fubini,,. 1 1 Introduction 1 (1) (2) (3) () {f n (x)} n=1 [a, b] K > 0 n, x f n (x) K < ( ) x [a, b] lim f n (x) f(x) (1) f(x)?

More information

TOP URL 1

TOP URL   1 TOP URL http://amonphys.web.fc.com/ 3.............................. 3.............................. 4.3 4................... 5.4........................ 6.5........................ 8.6...........................7

More information

II 1 II 2012 II Gauss-Bonnet II

II 1 II 2012 II Gauss-Bonnet II II 1 II 212 II Gauss-Bonnet II 1 1 1.1......................................... 1 1.2............................................ 2 1.3.................................. 3 1.4.............................................

More information

6 2 2 x y x y t P P = P t P = I P P P ( ) ( ) ,, ( ) ( ) cos θ sin θ cos θ sin θ, sin θ cos θ sin θ cos θ y x θ x θ P

6 2 2 x y x y t P P = P t P = I P P P ( ) ( ) ,, ( ) ( ) cos θ sin θ cos θ sin θ, sin θ cos θ sin θ cos θ y x θ x θ P 6 x x 6.1 t P P = P t P = I P P P 1 0 1 0,, 0 1 0 1 cos θ sin θ cos θ sin θ, sin θ cos θ sin θ cos θ x θ x θ P x P x, P ) = t P x)p ) = t x t P P ) = t x = x, ) 6.1) x = Figure 6.1 Px = x, P=, θ = θ P

More information

1 (Contents) (1) Beginning of the Universe, Dark Energy and Dark Matter Noboru NAKANISHI 2 2. Problem of Heat Exchanger (1) Kenji

1 (Contents) (1) Beginning of the Universe, Dark Energy and Dark Matter Noboru NAKANISHI 2 2. Problem of Heat Exchanger (1) Kenji 8 4 2018 6 2018 6 7 1 (Contents) 1. 2 2. (1) 22 3. 31 1. Beginning of the Universe, Dark Energy and Dark Matter Noboru NAKANISHI 2 2. Problem of Heat Exchanger (1) Kenji SETO 22 3. Editorial Comments Tadashi

More information

TOP URL 1

TOP URL   1 TOP URL http://amonphys.web.fc2.com/ 1 30 3 30.1.............. 3 30.2........................... 4 30.3...................... 5 30.4........................ 6 30.5.................................. 8 30.6...............................

More information

( ; ) C. H. Scholz, The Mechanics of Earthquakes and Faulting : - ( ) σ = σ t sin 2π(r a) λ dσ d(r a) =

( ; ) C. H. Scholz, The Mechanics of Earthquakes and Faulting : - ( ) σ = σ t sin 2π(r a) λ dσ d(r a) = 1 9 8 1 1 1 ; 1 11 16 C. H. Scholz, The Mechanics of Earthquakes and Faulting 1. 1.1 1.1.1 : - σ = σ t sin πr a λ dσ dr a = E a = π λ σ πr a t cos λ 1 r a/λ 1 cos 1 E: σ t = Eλ πa a λ E/π γ : λ/ 3 γ =

More information

3 filename=quantum-3dim110705a.tex ,2 [1],[2],[3] [3] U(x, y, z; t), p x ˆp x = h i x, p y ˆp y = h i y, p z ˆp z = h

3 filename=quantum-3dim110705a.tex ,2 [1],[2],[3] [3] U(x, y, z; t), p x ˆp x = h i x, p y ˆp y = h i y, p z ˆp z = h filename=quantum-dim110705a.tex 1 1. 1, [1],[],[]. 1980 []..1 U(x, y, z; t), p x ˆp x = h i x, p y ˆp y = h i y, p z ˆp z = h i z (.1) Ĥ ( ) Ĥ = h m x + y + + U(x, y, z; t) (.) z (U(x, y, z; t)) (U(x,

More information

m dv = mg + kv2 dt m dv dt = mg k v v m dv dt = mg + kv2 α = mg k v = α 1 e rt 1 + e rt m dv dt = mg + kv2 dv mg + kv 2 = dt m dv α 2 + v 2 = k m dt d

m dv = mg + kv2 dt m dv dt = mg k v v m dv dt = mg + kv2 α = mg k v = α 1 e rt 1 + e rt m dv dt = mg + kv2 dv mg + kv 2 = dt m dv α 2 + v 2 = k m dt d m v = mg + kv m v = mg k v v m v = mg + kv α = mg k v = α e rt + e rt m v = mg + kv v mg + kv = m v α + v = k m v (v α (v + α = k m ˆ ( v α ˆ αk v = m v + α ln v α v + α = αk m t + C v α v + α = e αk m

More information

1 = = = (set) (element) a A a A a A a A a A {2, 5, (0, 1)}, [ 1, 1] = {x; 1 x 1}. (proposition) A = {x; P (x)} P (x) x x a A a A Remark. (i) {2, 0, 0,

1 = = = (set) (element) a A a A a A a A a A {2, 5, (0, 1)}, [ 1, 1] = {x; 1 x 1}. (proposition) A = {x; P (x)} P (x) x x a A a A Remark. (i) {2, 0, 0, 2005 4 1 1 2 2 6 3 8 4 11 5 14 6 18 7 20 8 22 9 24 10 26 11 27 http://matcmadison.edu/alehnen/weblogic/logset.htm 1 1 = = = (set) (element) a A a A a A a A a A {2, 5, (0, 1)}, [ 1, 1] = {x; 1 x 1}. (proposition)

More information

0406_total.pdf

0406_total.pdf 59 7 7.1 σ-ω σ-ω σ ω σ = σ(r), ω µ = δ µ,0 ω(r) (6-4) (iγ µ µ m U(r) γ 0 V (r))ψ(x) = 0 (7-1) U(r) = g σ σ(r), V (r) = g ω ω(r) σ(r) ω(r) (6-3) ( 2 + m 2 σ)σ(r) = g σ ψψ (7-2) ( 2 + m 2 ω)ω(r) = g ω ψγ

More information

simx simxdx, cosxdx, sixdx 6.3 px m m + pxfxdx = pxf x p xf xdx = pxf x p xf x + p xf xdx 7.4 a m.5 fx simxdx 8 fx fx simxdx = πb m 9 a fxdx = πa a =

simx simxdx, cosxdx, sixdx 6.3 px m m + pxfxdx = pxf x p xf xdx = pxf x p xf x + p xf xdx 7.4 a m.5 fx simxdx 8 fx fx simxdx = πb m 9 a fxdx = πa a = II 6 ishimori@phys.titech.ac.jp 6.. 5.4.. f Rx = f Lx = fx fx + lim = lim x x + x x f c = f x + x < c < x x x + lim x x fx fx x x = lim x x f c = f x x < c < x cosmx cosxdx = {cosm x + cosm + x} dx = [

More information

..3. Ω, Ω F, P Ω, F, P ). ) F a) A, A,..., A i,... F A i F. b) A F A c F c) Ω F. ) A F A P A),. a) 0 P A) b) P Ω) c) [ ] A, A,..., A i,... F i j A i A

..3. Ω, Ω F, P Ω, F, P ). ) F a) A, A,..., A i,... F A i F. b) A F A c F c) Ω F. ) A F A P A),. a) 0 P A) b) P Ω) c) [ ] A, A,..., A i,... F i j A i A .. Laplace ). A... i),. ω i i ). {ω,..., ω } Ω,. ii) Ω. Ω. A ) r, A P A) P A) r... ).. Ω {,, 3, 4, 5, 6}. i i 6). A {, 4, 6} P A) P A) 3 6. ).. i, j i, j) ) Ω {i, j) i 6, j 6}., 36. A. A {i, j) i j }.

More information

微分積分 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. このサンプルページの内容は, 初版 1 刷発行時のものです.

微分積分 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます.   このサンプルページの内容は, 初版 1 刷発行時のものです. 微分積分 サンプルページ この本の定価 判型などは, 以下の URL からご覧いただけます. ttp://www.morikita.co.jp/books/mid/00571 このサンプルページの内容は, 初版 1 刷発行時のものです. i ii 014 10 iii [note] 1 3 iv 4 5 3 6 4 x 0 sin x x 1 5 6 z = f(x, y) 1 y = f(x)

More information

20 4 20 i 1 1 1.1............................ 1 1.2............................ 4 2 11 2.1................... 11 2.2......................... 11 2.3....................... 19 3 25 3.1.............................

More information

untitled

untitled 2 : n =1, 2,, 10000 0.5125 0.51 0.5075 0.505 0.5025 0.5 0.4975 0.495 0 2000 4000 6000 8000 10000 2 weak law of large numbers 1. X 1,X 2,,X n 2. µ = E(X i ),i=1, 2,,n 3. σi 2 = V (X i ) σ 2,i=1, 2,,n ɛ>0

More information

1. 4cm 16 cm 4cm 20cm 18 cm L λ(x)=ax [kg/m] A x 4cm A 4cm 12 cm h h Y 0 a G 0.38h a b x r(x) x y = 1 h 0.38h G b h X x r(x) 1 S(x) = πr(x) 2 a,b, h,π

1. 4cm 16 cm 4cm 20cm 18 cm L λ(x)=ax [kg/m] A x 4cm A 4cm 12 cm h h Y 0 a G 0.38h a b x r(x) x y = 1 h 0.38h G b h X x r(x) 1 S(x) = πr(x) 2 a,b, h,π . 4cm 6 cm 4cm cm 8 cm λ()=a [kg/m] A 4cm A 4cm cm h h Y a G.38h a b () y = h.38h G b h X () S() = π() a,b, h,π V = ρ M = ρv G = M h S() 3 d a,b, h 4 G = 5 h a b a b = 6 ω() s v m θ() m v () θ() ω() dθ()

More information

( )

( ) 7..-8..8.......................................................................... 4.................................... 3...................................... 3..3.................................. 4.3....................................

More information