ex falso quodlibet rule (矛盾からはなんでも導出してよいという規則)
0
タグ: 数学 notations

函数の極限の定義  Topics

∀ε>0;∃δ>0;∀x∈I;(0<|x - a|<δ⇒|f(x) - A|<ε)



∀ε>0;∃δ>0;∀x∈I;(|x - a|<δ⇒|f(x) - A|<ε)

は, 通常は上の定義が採用されている。(通常の連続とか不連続の話はこれでやる)
が, 位相空間論の連続性の定義と合わない。

[吉田知行, イプシロン・デルタ論法はいらない --- 関数編, 数学セミナー (9), 2013]
0
タグ: 数学

Relax して問題を解く  Topics

たちの良い一般 case を解き, それを退化させ特殊 case を解く論法を relax して解くと呼ぶことにする。

(1) I = ∫0 sin x dx/x
I(α) = ∫0 e-αxsin x dx/x
を考える。
(d/dα)I(α) = -∫0 e-αxsin x dx
=-Im ∫0 e-αx+ixdx = -1/(1 + α2).
この両辺を積分すると
-arctan∞ + arctan α = I(∞) - I(α) = -I(α).
故に I = I(0) = π/2.

(2) n! = ∫0 xne-xdx
α-1 = ∫0 e-αxdx
を α で n 階微分してから α = 1 と置く。

(3) y'' - 2αy' + α2y = 0.
これを y'' - (α + (α + ε))y' + α(α + ε)y = 0 とすると, 一次独立な解の一組として eαx と (e(α + ε)x - eαx)/ε を取ることが出来る。 重解になる時は ε→0 とすればいいので, 後者が xeαx となる。

(4) (1/1)nC0 - (1/2)nC1 + (1/3)nC2 - … + (-1)n(1/(n + 1))nCn
は Σk nCkxk = (1 + x)n を x = -1 から 0 迄定積分すると得られる。

(5) 同次数の正方行列 P, Q について, PQ と QP` の特性多項式が一致し, 固有値も一致する。
それは Q が可逆の時は Q(PQ)Q-1 = QP は PQ 〜 QP (相似) となっているからである。 Q が不可逆の時は Q を可逆行列 Qk で近似しておくと, (相似性は連続的に成り立つわけではないが) 特性多項式は連続的に変化するので極限でも一致するので言える。

(6) 正方行列 A について det exp A = exp tr A.
A が対角化可能なら自明である。 一般には対角化可能な行列で近似すればいい。

(7) Cayley-Hamilton の定理
対角化可能ならば自明。 それ以外は対角化可能な行列で近似すればいい。

[時枝正 (Cambridge Univ) こどもの眼 おとなの頭 第六回, 数学セミナー (9), 2013.]
0
タグ: 数学

Cesàro 平均  数学用語・数学記号

Σk=1n an/n を Cesàro (チェザロ) 平均という。
1
タグ: 数学 notations

Link 二つ  Link

Simeon Ball and Zsuzsa Weiner An Introduction to Finite Geometry, 5 September 2011

岡潔文庫
0
タグ: 数学 リンク

知識と時間  引用

若い時, 少しのことしか知らないから何も出来ない, と思ってはいけません。 多くの事を勉強し, 多くの事を知り, 全ての事が見通し良く眺められるようになった時, もうその人には新しいことをしようとする情熱も, 時間もなくなっているのです。

和田秀男, 新しいメルセンヌ数について, 数学セミナー (3) 1979.
0
タグ: 数学

定幅曲線  定理

一般に幅 W の定幅曲線の周の長さは πW.

(E. Barbier, 1860, の定理からの帰結)
0
タグ: 数学

適正な size  引用

「自然現象にはそれぞれ特徴的な寸法 (characteristic scale) があり, その寸法は拮抗する効果の冪の競り合いで決まる」。

時枝正 Cambridge Univ. こどもの眼 おとなの頭, 第二回 「せりあうべき」, 数学セミナー (5), 2013.
0
タグ: 数学



AutoPage最新お知らせ