掲示板

note.com投稿記事

オイラーの定理とトポロジー

■球面上のオイラーの定理
球表面の3角形メッシュに関して,オイラーの定理は T-E+V=2 です.
(ここで,3角形(面)の数 T,エッジの数 E,頂点の数 V)


球表面を3角形メッシュに分割したとき,すべての3角形のすべての角度の総和は,2πVになります(すべての頂点のまわりに2πがあるから).

球面3角形の面積(球面過剰)
球面3角形が半径1の球上にあり,例えば,頂点がx軸,y軸,z軸にあれば,各頂点の角度θ1,θ2,θ3は,それぞれ,π/2なので,内角の総和は,θ1+ θ2+ θ3=3π/2です.

 

 

 

 

 

 

 

 

 


もちろん,ユークリッド幾何学では,いつでも,θ1+ θ2+ θ3=πです.
一般に,内角がθ1,θ2,θ3の球面3角形の面積は,θ1+ θ2+ θ3-πで定義されます(この量は球面過剰とよばれます).


この例では,球面3角形の面積は球全表面の1/8で,球面3角形の球面過剰は3π/2-π=π/2ですので,全球表面は確かに4πになります.


■球面上のオイラーの定理のルジャンドルの証明
球面上の3角メッシュ全体で,次の面積の関係が成り立ちます.
(3角メッシュの角度総和)=(球面3角メッシュの面積総和)+πT
すなわち,2πV=4π+πT  → V=2+T/2

他方,3角メッシュ全体でエッジの数を2重に数えると,→ 3T=2E

ゆえに,T-E+V=T-3T/2+(2+T/2)=2 となりオイラーの定理が証明された.

3角メッシュではなく,多角形の面からなる多面体についてもオイラーの定理は成立します.多面体の面の数F,エッジの数E,頂点の数Vとして,球表面でのオイラーの定理は 
F-E+V=2

■多面体の不足角
多面体の頂点の不足角は,2πー(その頂点に集まる面の内角の和)
例えば,立方体の場合は,1つの頂点で,2πー3π/2=π/2ですから,立方体全体では4πとなります.これは,球と同じトポロジーの面上の任意の多面体で成り立ちます.
多面体全体の全不足角は,いつも4πであることの証明.

多角形F1,F2,・・・,Fkのk個の面で構成される多面体を考えましょう.これにオイラーの定理を適用し,エッジ数と頂点数を計算しましょう.
面FjはNj個のエッジとNjの頂点がある(Nj多角形)とします.
2E=N1+N2+・・・+Nk
V=E-F+2=(N1+N2+・・・+Nk)/2-k+2 → 2V=(n1+N2+・・・+Nk)-2k+4

多面体全体の全不足角Θは
Θ=2πV-[(N1-2)π+(N2-2)π+・・・・+(Nk-2)π]=
 =π(2V-(N1+N2+・・・・+Nk)+2k)=4π
定理  任意の多面体全体の全不足角は4πである.


(参考)
Nrich Article by Alan Beardon,Published December 2000,February 2011.

石積みとアーチ橋

写真の石垣は美しいですね.石積みの改修は番号をふって再現するのでパズルのようです.素晴らしい石工の技です.
ボロノイ分割のような網目で各所の釣り合いの条件を書いて計算できたとしても物づくりの役にたちません.石工の技術は直感と身に着けたバランス感覚そのものです.ガラス職人は熔けたガラスの粘性の手応えに反射的に反応し細工をします.機械の設計でも常識や力学感覚が身に着いていない技術者の計算まかせはとんでもなく危うい.
私たちは,幼児の頃に,積み木をしたり水遊びや泥団子などで遊び,物の柔らかさや脆さ,それを扱うバランス感覚,力学感覚を自然に身に着けました.物理や数学を学ぶよりもこの常識を身に着けることはとても大事なことだと思います.壊れやすいものを不器用に扱う若者が増えています.もっとも,理論と器用さは関係ないようで,教授でも子供より不器用な人はたくさんいます.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

■通潤橋のアーチと通潤橋のアーチの数学に関し,私はnoteに以下の2つの記事を書きましたがあまり目につかなかったようです.
https://note.com/sgk2005/n/n5eccdef5315a
https://note.com/sgk2005/n/n4356f184665d
リンク切れになっているウエブサイトやブログもあるので,再度,概要を紹介をしましょう.

表紙の写真は,石積みの美しい橋,通潤橋(熊本県,山都町)です.アーチの形は懸垂曲線,放水の軌跡は放物線です.逆さにした懸垂曲線のグラフをアーチに重ねてみました.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

鎖の両端を持ち水平に広げたときに,鎖が作る曲線が懸垂曲線です.鎖の各部分は重力で下向きに引かれ,鎖の一つ一つの繋ぎ目はどこも引張あって釣り合っています.この形の上下をひっくり返すとアーチができ,アーチの各部に働く力はすべて圧縮力になります.アーチには圧縮力しか働きません.石たちは自分の重量で互いに押し合い,圧縮され引き締め合います.接着されていない石積みは引張力ではバラバラになりますが,自分の重量で圧縮され良く締まります.石が割れると困りますが,石は圧縮力には強いのです.すべての荷重がかかるアーチの根元には,大きな水平反力が必要ですが,山に挟まれた峡谷などは建設するのに最適な立地条件です.


■私が通潤橋(熊本県上益城郡山都町)を訪れたのは,2007年10月のことでした.22日は,午前中に潤徳小学校3,4年生36人に万華鏡づくりの授業,午後は先生方と人形浄瑠璃を観劇しました.
最近の通潤橋の様子は,以下のウエブサイトにでています.2016年の熊本地震で被災し,修理工事中だった2019年5月にも豪雨で石垣の一部が崩落しましたが,2020年3月までに工事を終え,翌4月から4年ぶりに放水を再開しているそうです.
通潤橋の近況ですが,山都町のウエブサイトよりhttps://d38mttjwbmxw55.cloudfront.net/files/6c2868f8-675e-4dac-b6f3-079b3d5bf224_l.jpg?1585873042

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

阿蘇山の南側のこの付近の地形は,島のように台地があり,台地から台地への移動が大変で,平家の落人が隠れ住むのに好都合だったようです.
台地(白糸台地)に農業用水を引くのが大変です.
水は台地のがけ下に汲みに行かなければなりません.
時の惣庄屋「布田保之助(ふたやすのすけ)」は,白糸台地に水を引くための水路橋”通潤橋”を,肥後の石工たちの技術を用いて1854年に建設しました.通潤橋は,石造りアーチ水路橋で,長さ75.6m,高さ20.2m,幅6.5m.
橋の上部にサイフォンの原理を応用した3本の石の通水管が敷設されています.

◆通水管
長さ約127m.石をくりぬいた1尺(30cm)四方の函渠(圧力のかかる管水路).管と管の繋ぎ目には,振動吸収と漏水防止のための漆喰(しっくい)が塗られている.さらに,通水管には5~6ケ所に地震対策のための板(緩衝材)を挟んでいる.
通潤橋は両側台地より低いので,サイフォンの原理で出口で水を押し上げています.通潤橋の高さから流入側台地は7.5m高く,流出側台地は5.8m高い.
通潤橋は,今でも周辺の田畑を潤しています.
放水は,通水管に詰まった堆積物を取り除くために行うものです.
「通潤橋史料館」 に行くと,どのようにアーチ石橋を施工したかわかります.川の中に写真のような木枠を大工が組んで石工が石を置きました.
アーチ橋の高さを台地の高さまで上げられなかった理由は,
この木枠をこれ以上の高さにする木材がなかったためという事です.
石橋の木枠を外す最終段階は,橋の中央に白装束を纏った布田翁が鎮座し,
石工頭も切腹用の短刀を懐にして臨んだといいます.

写真に見えるアーチ曲線を型どっている石の並びについて話しましょう.
アーチの頂点にある石を”かなめ石”と言います.アーチ状に一列に並んだ石達は自分の重さで互いに締め付けあい安定になっておりセメントなど不要です.それでも下の木枠を外すときは,とても心配で責任者は命がけだったでしょう.布田翁も石工頭も命がけで臨んだのがよくわかります.
近年の熊本地震でも残ったのは,その堅牢さ(石の配管の修理をしたと聞きます)の証明です.
2007年当時の「通潤橋資料館」のウエブサイト資料がなくなりましたので,http://www.kumamotokokufu-h.ed.jp/kumamoto/isibasi/ab_sakus.html
のウエブサイトより以下の説明図を引用しました.

 

 

■人形浄瑠璃
http://seiwabunraku.hinokuni-net.jp/wp-content/uploads/img/about/s_06.jpg
人形浄瑠璃は,清和文楽館で観賞しました.山都町の人形浄瑠璃の始まりは,江戸時代の嘉永年間(1850年ごろ)で,山都町(旧・清和村)を訪れた淡路の人形芝居の一座から,浄瑠璃好きな村人が人形を買い求め,技術を習ったのが始まりといいます.
清和文楽は農家の人々が農業の合間を縫って練習や公演を行い伝承されてきました.良い話です.江戸時代の庶民の文化の高さに感激しました.三人で一体の人形を操ります.首(かしら)と右手を操る「主遣い(おもづかい)」,左手を操る「左遣い」,足を操る「足遣い」です.人形も触らしてもらいました.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

■空き缶を積んで作ったアーチで実験

私は真剣に積んだのですが,どうしても缶5個のアーチまでしかできませんでした.5個の缶で缶同志の接点は4点.すべての接点で同時につり合っていなければなりませんから,作るのがとても難しい.もし,6個以上でアーチが出来た方は新記録です.ご一報ください.
缶の周りにラップを巻いていますが,摩擦力を増すためでアーチのつり合い条件を変えるものではありません.

 

5個の空き缶を積んで作ったアーチです.左右対称ですから,左半分だけ解析しましょう.缶の中心を①,②,③と名づけます.すると,缶同士の接点は,線分①-②の中点と,線分②-③の中点にあります.線分①-②,線分②-③には,それぞれ圧縮応力f_{1}, f_{2}があります.すべての缶は点で接触しており,モーメントは考える必要がありません(トラス構造).線分①-②,および線分②-③の水平となす角度をそれぞれα,βとしてつり合いの式を立てます.各缶には下向きに力gがかかっています.つり合いの式は,①点,②点,③点でx, y成分ごとに書きます.

 

$$ f_{1}, f_{2}, r_{x}, r_{y}, g $$が,ゼロででない解であるための必要十分条件は,行列式がゼロとなることでした.この行列式を計算すると,
$$ tanβ=3tanα $$ の関係が得られます.
この釣り合いの結果は,①から測った曲線に沿った距離$$ s $$と,その点の接線の傾きtanθが比例する $$ tanβ/3=tanα/1=tanθ/s $$の関係(懸垂曲線で導ける)と一致します(下図参照).

 

懸垂曲線のグラフ(赤)と放水軌跡のグラフ(緑)を表紙の写真の上に重ねました.ご鑑賞ください.アーチの形とアーチの屋根の左右の石の詰め物を見て,この橋の安定なバランスに感動するなら,あなたは常識の力学感覚が身に着いていると思われます.
 

コンピューターを使った証明

ブライアンデイビス,ロンドンキングスカレッジ
Notices of American Mathematical Society 52,No11(2005)12月
Элементы,数学は何処へ行くより抜粋翻訳(1): 
https://elementy.ru/nauchno-populyarnaya_biblioteka/164681/Dokazatelstva_s_ispolzovaniem_kompyutera

 

 

 

 

 

 

 

 

コンピューター支援で証明された主要な数学的定理の最初の例は,1976年にAppelとHakenによって証明された4色定理でした.これは2つの理由で,多くの数学者を大いに心配させました.第一に,機械が実行した計算のすべてを,手動で再チェックすることなしに証明の正しさを検証することは不可能であると主張されました.当時,「正しい」定理の証明は,ほとんどすべての数学者にとって,まだ完璧に見えました.証明の偶発的なエラーの可能性は認識されましたが,それらを修正するのは時間の問題であると考えられました.もう一つは,一部の数学者は,その定理が正しいかどうかではなく,なぜそれが正しいと見なされるのかについて考え始めたからです. 本質を理解していない証明は彼らに興味がありません.

4色定理は重要な応用がなく,長い間,面白い逸脱と見なされていました.おそらく,誇張された関心が高まったのは,この定理の単純な定式化のせいでしょう.しかし,時が経ち,コンピューターはますます利用可能になり,コンピューターの証明が広く受け入れられるようになりました.
最も新しい事例,ケプラー問題をここで取り上げます.

ケプラー問題は,最大平均密度となるように,同じ直径の球体を3次元空間に最も密に充填する方法を見つけることです.期待される解決策は昔から知られおます.1998年,トムヘイルズは,幾何学的分析と複雑なコンピュータ計算を組み合わせて,ケプラー問題に対する厳密な数学的解決策を見つけたと発表しました.ジャーナル"Annals of Mathematics"は,この論文を審査のために受け入れ,この分野の20人の主要な専門家からなる委員会を立ち上げ,専門家の委員会は,全体的な戦略を決めるためにプリンストン大学で会議を開始しました.数年が経過し,レフェリーは徐々に委員会を去りました.そして2004年の初めには,記事のレビューを続けられなくなりやめることが最終的に決定されました.ジャーナルの編集委員会は,論文の「理論的部分」を公開し,「コンピュータに基づく部分」をより適切なジャーナルに送るすることを決定しました.ジャーナルの編集委員会のメンバーであるロバート・マクファーソンは,このような論文に対するジャーナルの編集方針は破綻したことを認めた.

王立協会の会合では,コンピュータプログラムの操作の正しさを正式に証明し,それによってコンピュータを使用して証拠を調べる手順を明確にする可能性について活発な議論が行われました.マクファーソンによれば,コンピュータプログラムの正しさを証明するための実際の技術を提供できる人は学術評議会にいなかったので,問題を明確にすることはできませんでした.プログラムは,正式な数学的正しさの専門家による評価の必要性を念頭に置いて作成されたものではないので,これが大きな妨げとなりました.

証明の理論的部分に含まれるアイデアを完全に実装する完全に新しいプログラムを「ゼロから」作成することは可能です.しかし,この可能性は,専門家のレフェリーグループにとって耐え難いものとして却下されました.これは,他の科学分野のプロジェクト(土星へのカッシーニ宇宙探査機など)を完了させるために必要な労力の価値を認めている数学者はほとんどいないからです.

レフェリーの過程で,実行される計算は非常に具体的で特定の問題に特化しているため,引き出された結論を他の同様の問題に適用することはほとんどできないことが明らかになりました.

特に,ケプラーの問題は,互いにさまざまな相互作用を起こすランダムな形状とサイズの異なる物体の大規模なシステムの最小静止エネルギーを決定する問題と密接に関連しています.このような最小化の問題の例は非常に多く,個別の数値手法を開発してコンピューターで計算するので,1つづつが別物でこの分野の理解は不可能です.数学的モデリングを除いて,これらすべての問題を解決する他の方法がない場合,これらの問題のほとんどはそれほど興味深いものではありません.ただし,ケプラーの問題自体は,エラー修正コードの理論などの重要な他のいくつかの問題と関係があります.

コンピューター支援の良い面としては,コンピューターが純粋な数学者を面倒な日常的な計算から大幅に解放したことです.これは,いくつかのカテゴリに分類できます.数式処理は,絶望的に長い計算を変換することができ,さまざまな分野で広く使用されています.カオスの力学系の研究は,数値実験なしには進展しなかったでしょう.カオス現象の存在が19世紀の終わりにアンリポアンカレによって発見されたのは事実ですが,主題を理解と進歩は,コンピューターの開発を待たなければなりませんでした.自己結合行列と非自己結合行列のスペクトルの振る舞いの大きな違いは,数値実験の結果として明らかになり,現在、それ自体が厳密な数学の分野として研究されている疑似スペクトルの新しい分野を生み出しました.特に高次非線形微分方程式の分野では,コンピューター法のみが解の存在を証明することを可能にしました.

パンデミックの最中に大学に戻る

By Marianne Freiberger; plus magazineより 

 

 

 

 

 

 

 

 

今,学校の再開が注目されていますが,もう1つのパンデミックの課題にも直面しています.今月と来月,全国の大学が秋学期を開始します.

約200万人の大学生が全国から選択した教育機関に動きだします.フレッシャーズフルー*)[*注)フレッシャーズフルーとは,大学で最初の数週間に新入生が発症した一連の病気に付けられたイギリス英語.]の感染は大学のキャンパス全体に簡単に広がる可能性があります. COVID-19では,若者が無症候である可能性が高いということから,発生しても迅速に発見されない可能性があります.若者のCOVID-19は深刻な病気になる可能性は低くいのですが,学生より脆弱な可能性のあるスタッフや周囲のコミュニティと混ざり合うため,大学での流行は無視できないリスクとなります.

大学を可能な限り安全に保つのに,何ができるでしょうか? 7月に2つのオンラインブレーンストーミングセッションがありました.Isaac Newton Instituteによって実施された「パンデミックの感染症のダイナミクス:感染症のパンデミックのダイナミクスを理解する上での数学的および統計的課題」(IDP) https://www.newton.ac.uk/event/idp の一部で,数学者と教育省および高等教育機関の代表者が集まり,数学がいくつかの問題の敏速な解決にどのように役立つかを確認しました.

数学者が提供しなければならないのは,数学モデルを使用してさまざまな状況下で病気の広がりをシミュレートし,緩和策が感染拡大にどのように影響を与えるか確認することです.

「この問題の見方で,数学は学際的なタペストリーの一部になりたい」と講演者でサウザンプトン大学のレベッカ・ホイルは言いました.「すべての答えがあると感じているわけではありませんが,そのパッチワークの一部を提供します」

■ベースライン
病気が典型的な学生集団にどのように広がるか,IDPの会議で,Ellen Brooks Pollockはブリストル大学のチームの仕事について報告しました. チームは、2010年に実施された社会的接触調査のデータとブリストルの学生の家庭の状況に関する匿名の情報を使用して,学生の接触パターン(誰が、どのくらいの頻度で会うか)を把握しました. チームは,学期の初めに到着したときに学生が通常どこから来るのかを見て,COVID-19に感染して到着する学生の数も推定しました. 彼らは,この情報を確率的コンパートメントモデル*)https://plus.maths.org/content/how-can-maths-fight-pandemic に組み込みました.
このモデルによると,ブリストルの学生の約20%が最初の学期中に感染する可能性があり,大学生活が通常どおり継続する場合,約74%が学年末までに感染することを示唆しています.新入生は感染率が最も高く,発生の初期段階を促進します.ブリストル大学では,他の多くの大学と同様に,新しく到着した学生が好む宿泊施設であるホールは,さまざまな混合場所になるため,1年目の期待と社交への熱意を考慮すると驚くべきことではありません.

モデリングは,発症の症例と比較して,気づかれずに忍び込む無症候性の症例が,どれほどの感染性であるかに依存することも示しました.上記の結果は,無症候性が対症療法の約半分の感染性であるという仮定(入手可能なデータに照らして妥当な推定値)に基づいています.しかし,ブルックス・ポロックと彼女の同僚は,この相対的な感染率の他の値も試し,流行の最終的なサイズがその数に非常に敏感であることを発見しました.たとえば,無症候性の人が症状を示している人と同じくらい感染性があると仮定すると,学生の約96%が学年末までに感染します.

すべてのモデルと同様に,ブリストルのチームによって開発されたモデルは,仮定に基づいており限界があります.これについては,https://www.medrxiv.org/content/10.1101/2020.09.10.20189696v1.full.pdf この論文に書きます.大学の流行は,本当にリスクがあることを確認しています.これらの発生をよりよくシミュレートするために,無症候性の症例の感染性に関するより多くの研究が必要であることを示唆しています.

■テスト、テスト、テスト
今では誰もが知っているように,エピデミックを回避または少なくとも軽減するには,感染の連鎖を早期に断ち切ることです.したがって,大規模な大学が独自の学内テストおよびトレースシステムを導入することは理にかなっているでしょう? IDPセッションは,まさにそれを調査しているウォーリック大学のチームからも聞いた. チームは,接触パターンを反映するネットワークと組み合わせたコンパートメントモデルを使用して,ワーウィックキャンパスでの病気の蔓延をシミュレートしました.

IDPセッションで報告された最初の結果は,最も効果的にするために,テスト&トレースがスムーズに機能する必要があることを示唆しています.症状を発症する十分な数の人が実際に行ってテストを受け,症状がでるまでとテスト&トレースシステムの遅延を短くする. これらの問題の両方で,学内のテスト&トレースシステムが明らかに役立ちます.

潜在的に危険な無症候性の症例を見つける唯一の方法は,学生の体全体の定期的なテストを実行することです.問題は,そのようなプログラムが効果的であるために,学生はどのくらいの頻度でテストされる必要があるかということです.これはブリストルの研究が検討したもう1つの問題であり,モデルによるとその答えは少なくとも2週間ごとです.

すべての英国の大学にスケールアップすると,これは多くのテストを意味し,問題はそれらすべてのテストがどこから来るのかということです.一部の大学は独自のラボを使用してテスト能力を構築していますが,ほとんどの大学はこれを行うことができません.そのため,大学のテストでは,現在医療従事者や症状のある人々のために確保されている国の能力を利用する必要があります.

テストに関する現在の問題を考えると,より経済的なアプローチを検討することも理にかなっています. 「検討するかもしれないのはバッチテストです」とHoyle氏は説明します. 「アイデアは,サンプルを組み合わせて一度に複数の人をテストすることです.そのテストが陰性に戻った場合,個別のテストを行う必要はありません.陽性のバッチにあった人を個別にテストするだけで済みます.多くの人を定期的にテストできるかもしれません」

IDPセッションの参加者は,個々の機関がどのような種類のテスト体制が彼らに適しているかを見つけるために使用できる適応モデリングツールを作成することを目的として,テスト&トレースモデルに取り組んでいます.モデリングはまた,大学での流行が周囲のコミュニティにとってどれほど危険であるかについてのより多くの考えを私たちに与えるでしょう.危険性が高い場合は,国の政策でこれを考慮に入れる必要があります.国の試験能力の一部は,実際に大学のために確保する必要があるかもしれません.

その間,教育機関は,テストで陽性となった学生をどうするかについても考える必要があります.モデルでは,これらの人々は感染性がなくなるまで検疫に入ると常に想定されていますが,現実はそれほど単純ではありません. 20歳の子供に,家から遠く離れた小さな学生部屋で2週間自己隔離するように言うと,規則の違反やさらに悪いことに,深刻なメンタルヘルスの問題につながる可能性があります.誰もが家に帰ることを期待している学期の終わりにテストが行われる場合,これはさらに悪いことになります.モデラーだけでなく,学生の福祉や支援を担当する人たちにもやるべきことがあります.

もちろん,大学が実施できる手段はテストだけではありません.対面教育と学生間の接触を減らすことは,他の2つの明白なオプションです.これらについて詳しくは,
https://plus.maths.org/content/going-back-uni-during-pandemic-part-ii

科学と社会に関する異端の考え(1)

 
フリーマンダイソンFreeman Dyson(1923年12月15日ー2020年2月28日)
フリーマン・ジョン・ダイソンは、イギリス・バークシャー生まれのアメリカ合衆国の理論物理学者、宇宙物理学者、サイエンスライター。ケンブリッジ大学トリニティ・カレッジ卒業、コーネル大学大学院中退。プリンストン高等研究所名誉教授。 若くしてダイソン方程式を発表、量子電磁気学の完成に大きな寄与をなした。(wikiより引用)

1949年に彼は、トモナガと独立してシュウィンガー、ファインマンによって提案された、当時の量子電磁気学である量子場理論のさまざまな定式化が実際に同じ理論の説明であることを示しました。これにより量子電磁気学が定式化されました。  繰り込み理論=renormalization theory
(ヴァレリー・アナトリエビッチ・ルバコフの開会の辞2009.3.23より抜粋)
*訳注)朝永、シュウィンガー、ファインマンはノーベル賞(1965年)をもらいましたが、ダイソンは受賞を逃しましたね。


■訳者(私)の意見
  二酸化炭素は温室効果ガス(地表から放射される赤外線を閉じ込める)でありますが,水蒸気の温室効果は二酸化炭素に倍するほど強力です.大気中にある水蒸気や二酸化炭素は地球大気に広がり地球を包み地球全体としての温暖化を起こすでしょう.それでも,水蒸気や二酸化炭素の濃度には場所により濃淡があります.飽和水蒸気量は気温依存しますので,寒いほど水蒸気量は少なく温室効果は減少するので,寒いところはますます寒くなります.水蒸気の豊富にあるところの温室効果は水蒸気が主体となります.
大気中の二酸化炭素量だけが地球全体の温暖化に結び付けるのは,その他のもっと重要な温暖化原因を故意に見落とすことになります.二酸化炭素を減らしたが温暖化は解決しないということが起こる危険があります.二酸化炭素を削減するために原発が必要という我田引水な理由で原発稼働がなされてきたのは間違いです.


それでは,ダイソン博士の講演を拝聴しましょう.
https://elementy.ru/video/20/Ereticheskie_mysli_o_nauke_i_obshchestve


2.土地管理と気候
これから5つの問題について私は異論を述べます。
最初の異論:地球温暖化をめぐる現在の誇張されたヒステリックな宣伝です。ここで私は、気候モデル専門家の聖なる兄弟と、気候モデルにより予測された数値を信じる惑わされた市民の群衆に反対します。もちろん、私はこの分野の専門家でないので話す資格がないと言われます。しかし、私は気候モデルを研究し、それらの能力を知っています。このモデルは、流体力学の方程式を解き、大気と海洋の流体運動を非常によく記述します。しかし、この方程式は,雲、ほこり、化学、畑、農地、森林の生物を説明することはできません。この方程式は,私たちが住んでいる現実の世界を説明できません。現実の世界は泥だらけで乱雑で、私たちがまだ理解していないことがたくさんあります。科学者がエアコンの効いた建物に座ってコンピューターでモデルを実行する方が、防寒着を着て沼や雲の中で実際に何が起こっているのかを測定するよりもはるかに簡単です。その故に、気候モデルの専門家は自分たちのモデルを信じてしまうのです。

地球上のいくつかの場所で、気候が実際に温暖化していることは間違いありません。私は,この温暖化が問題を引き起こしていないと言っているのではありません。明らかに問題は起こっています。私たちはそれをもっとよく理解すべきです。 この問題がひどく誇張されていると言いたいのです。これを語り,貧困、感染症、公教育、公衆衛生、陸と海の生物の保護など、緊急でもっと重要な他の問題から目をそらさせ,お金を奪っています。 とりわけ、戦争と平和と核兵器の問題についてもお話します。

地球温暖化の問題は、その重要性が誇張されていますが、興味深い問題なので、少しお話します。大気や生物圏における炭素の流れを詳細に理解するには、多くのパラメーターの数値を測定する必要があります。たくさんの数字と混同したくないので、1つの数字だけを覚えておいてください。覚えておいていただきたいのは、年間1/3mmです。次に、この数字の意味を説明します。砂漠、極地の氷、都市、道路、駐車場などではい地球の土地面積の半分を想像してください。農地、森林、沼地など、さまざまな種類の植物を支える土壌で覆われています。毎年、地表のこの半分は、その二酸化炭素の一部を吸収してバイオマスに変換します。それを大気中に放出します。バイオマスの増減を測定していないため、この割合がどれだけ大きいかはわかりません。バイオマスは生き物であり、すでに死んだ生き物の残骸でもあります。私が覚えておくように頼んだ数字(年間1/3mm)は、化石燃料を燃やすときに放出されるすべての二酸化炭素の吸収によって、地表の半分で起こるバイオマスの厚さの平均増加です。

これらの計算の意味するところは、土壌による大気中の炭素の吸収が非常に良好な速度で進行する可能性があるということです。大気中の二酸化炭素濃度の上昇を止めるには、土壌バイオマスを年間わずか1/3mmだけ増加させる必要があります。肥沃な上層土はバイオマスの約10%を占めるため、1年に1/3mmのバイオマスの増加は、1年に約3ミリメートルの表土の増加に対応します。耕作回避など農業慣行の変化は、同様に急速なバイオマスの増加につながります。土を耕さずに作物を育てれば、より多くのバイオマスが根に行き、それが地面に残り、より少ない大気に戻る炭素は少なくなります。遺伝子工学を通じて、根のバイオマスがより高い品種を入手すれば、明らかに、達成することができるでしょう。土の厚さの成長がさらに速くなるように。これらの簡単な計算から、二酸化炭素の大気への放出の問題は気象学の問題ではなく、土地管理の問題であるという結論が導かれます。大気と海洋のコンピュータモデルでは、土地をどのように管理するかを予測することはできません。

地球全体の規模でバイオマスの平均増加を計算することはできないかもしれませんが、この問題を局所的な側面で検討しましょう。この将来の可能性を想像してみてください。中国は、石炭の燃焼に大きく依存する産業大国として発展を続けていますが、米国は、土壌バイオマスの増加によって排出される二酸化炭素を吸収することを決定しています。植物や木の生きている部分に蓄積できるバイオマスの量は限られていますが、土壌に沈着できるバイオマスの量を制限するものは何もありません。大規模な土壌増強は、遺伝子操作された作物の経済的パフォーマンスに応じて、有益な場合とそうでない場合があります。しかし、少なくとも、石炭を燃やすことによって中国が豊かになる可能性については、非常に議論の余地があります。一方、米国は、大気が中国の鉱山から米国の土壌に炭素を自由に輸送できるようにし、大気中の二酸化炭素を一定に保つことによって土壌を貯蔵することにより、環境を祝福しています。化石燃料と気候変動についての予測を聞くとき、このような機会は検討する価値があります。コンピュータ技術が過去50年間に君臨したように、バイオテクノロジーが次の50年間に地球上で最高に君臨する場合、気候ゲームのルールは根本的に変化します。大気中の二酸化炭素含有量は一定に保たれます。

 

 

 

 

 

 

 

 

 

 

フリーマンダイソン,2009年3月23日,モスクワFIAN

気候変動についての公開討論に耳を傾けると、私たちの知識の巨大なギャップ、私たちの観察の不完全さ、そして私たちの理論の表面性に驚かされます。私たちの地球生態学における多くの基本的なプロセスの理解はまだ乏しい。それらをよりよく理解した場合にのみ、地球の現在の状態を正確に診断することができます。病気の人の世話をするのと同じ方法で地球の世話をしようとすると、最初に病気を診断し、次にそれを治療する必要があります。このためには、生物圏で起こっているプロセスを観察し、それらのパラメーターを測定する必要があります。

大気中の二酸化炭素濃度の増加は、気候と非気候の2つの重要な結果をもたらすことは全員が同意します。1つは、大気中のエネルギーの放射伝達の物理的変化であり、2つ目は、陸上および世界の海の植生の生物学的変化です。これらの結果のどれがより重要であるか、またこれらの結果が個別にまたは一緒にか、有益であるか有害であるかについての意見は異なります。物理的影響は、降水量、雲の被覆、風の強さ、温度の変化に現れます。これらは通常、一緒に積み上げられ、誤解を招く用語「地球温暖化」と呼ばれます。湿った空気では、二酸化炭素によって引き起こされる放射輸送の変化は、水蒸気のはるかに強い温室効果によって本質的に相殺されます。

二酸化炭素の影響は、空気が乾燥している場所で重要であり、空気は通常、冷たい場所でのみ乾燥します。 二酸化炭素の温暖化効果は、空気が冷たく乾燥している場所で最も強く、主に熱帯ではなく北極で、主に夏ではなく冬に、そして主に昼間ではなく夜間に発生します。 温暖化は、暑い場所を暑くするのではなく、寒い場所を暖かくします。 この局所的な温暖化を世界平均で表すことが、人々に誤解を生じさせています。


大気中の二酸化炭素の濃度が生物学的に非常に重要である本当の理由は、この濃度が非常に低いことです。晴れた日の午後に太陽の下で育つトウモロコシやその他の穀物の畑は、地上1メートルの二酸化炭素を約5分ですべて吸収します。対流と風によって空気が継続的に混合されない場合、トウモロコシは成長を停止します。大気中の二酸化炭素の約1/10は、毎年夏にバイオマスの成長に費やされ、毎年秋に大気に戻ります。これが、化石燃料の燃焼の影響を植物の成長と衰退の影響から切り離すことができない理由です。
数千年の時間スケールでしか利用できない炭酸塩岩と深海を除いて、短い時間スケールで生物学的にアクセスできる炭素に5つのプールがあります。これらの5つのプールは、大気、陸上植物、陸上植物が成長する土壌、海洋植物が成長する海の表層、および化石燃料の実証済みの埋蔵量です。大気はこれらのプールの中で最も小さく、化石燃料は最も大きいが、5つすべてが同等のサイズです。それらはすべて互いに強く相互作用し、それらのいずれかを理解するには、それらすべてを理解する必要があります。インテリジェントな土地管理によって、大気中の二酸化炭素の増加を止めるのに必要な量である年間40億トンの炭素が土壌プールの成長を増加させられるかどうかはわかりません。確かに言えることは、これは理論的な可能性であり、真剣に検討する必要があるということです。

地球温暖化の科学的および経済的側面について私が知っている議論のほとんどは、最も重要な問題を回避しています。これは科学的な問題というよりは宗教的な問題です。そのような世界の世俗的な宗教-それは環境主義と呼ぶことができます-それによると、地球上の人々の役割は経済管理者の役割であり、私たちの贅沢の無駄で地球を台無しにすることは罪であり、正しい方法は可能な限り経済的に生きることです。環境倫理の基本は、世界中の幼稚園、学校、大学の子供たちに教えられています。環境主義は社会主義に取って代わり、主要な世俗的な宗教になりました。この宗教には強力な倫理的基盤があります。科学者や経済学者は、仏教の僧侶やキリスト教の説教者たちに、私たちの自然の生息地の破壊は悪であることに同意することができます。鳥や蝶を注意深く保護することは祝福です。グローバル環境主義コミュニティは非常に強い道徳的立場を持っており、より良い未来への希望の道に沿って人間社会をリードしています。自然への希望と尊敬の宗教としての環境主義は、真剣にそして長い間やって来ました。これは、地球温暖化の危険性を信じているかどうかに関係なく、私たち全員が共有できる宗教です。

しかし、残念ながら、環境保護運動は、地球温暖化が何よりも地球の生態系を脅かしているという信念の信条の1つとして採用されています。これが、地球温暖化についての論争が非常に熱く激しくなっている理由です。地球温暖化の危険な影響に懐疑的な人は誰でも環境の敵であると国民は信じています。今、私のような懐疑論者は、そうでなければ大衆を説得するという困難な課題に直面しています。これらの懐疑論者の多くは熱心な環境保護主義者です。彼らは、地球温暖化への一般的な執着が、今日私たちの惑星をすでに脅かしているはるかに深刻な危険から国民の注意をそらすのを恐れて見ています。例えば、環境に対する真に深刻な脅威は、世界の人口の制御されていない成長から来ています。しかし同時に、人間の人口の幸福の増加と出生率の低下の間には強い正の相関関係があります。

20世紀の後半、メキシコが豊かになると、メキシコの平均的な家族の人数は7人の子供から2.5人に減少しました。アイルランドやイタリアなどの繁栄しているヨーロッパ諸国の家族規模はさらに急速に減少しています。世界の人口を安定させ、地球を保護する最も簡単な方法は、すべての人を豊かにすることです。先進国は一般的に人口が安定しているか減少しており、環境に配慮する余裕があります。ベルトルト・ブレヒトが三文オペラでずっと前に述べたように、「最初のコムト・ダス・フレッセン、ダン・コムトは道徳的に死ぬ」、「最初に餌を与え、次に道徳が来る」。環境にとって最悪のことは、産業技術の助けを借りずに、成長し、飢え、貧しい人々が土地に住もうとしていることです。中国とインドの政府が地球温暖化との戦いよりも貧困との戦いを優先するとき、彼らは道徳的にも科学的にも正しいといえます。

ストロー多面体の構造安定性


ストローと輪ゴムで凸多面体を作ります.
輪ゴムの働きは,結節点でストローの長さを変えないように固定しますが,ストロー間の角度は固定しません.つまり,このような構造を建築ではトラス構造と言います.

皆様の常識通り,2次元の多角形では,3角形は安定で,4角形は安定ではありません.

 

 

 

 

 

 

 

 

 

 

 

 


多面体の面がすべて3角形で出来ていれば,変形しない多面体になりますが,1つでも3角形でない面(4角形や,5角形や,....)があると変形が起こる多面体になります.
例えば,以下の多面体は,すべて3角形の面で出来ているので安定です.

 

 

 

 

 

 

 

 

これらが安定なことは,皆様の経験通りで感覚的にわかるでしょう.オルルクは1つだけ4角形の面を含む以下の模型を提案しましたが,実験するとこれも変形してしまいました.

 

 

 

 

これらの事実は,力学的には常識で自明と思いますが,数学的には証明が必要で,自明なものほど証明は難しいものですが,コーシー&アレクサンドロフの定理が関係あります.

今回の記事は,KVANTIK,No3(2018)のDmitry Panov, Alexandra Pushkar, Dmitry Chebasov の記事を参考に作成しました.

最小作用(停留値)の原理

モーペルテュイは,
「始状態から終状態への運動経路には,作用と呼ばれる積分量が定義でき,作用が最小となる経路が実現される.これが物理学のみならず,万物の運命を決める外界の原理である」
という着想-”最小作用の原理”(1744年)を得ました.たしかに,現実の運動では,しばしば作用が極小になりますが,正確には,「作用が停留値をとる経路が実現する」というのが正しいことが後にわかります.
オイラーは,モーペルテュイの作用量の定義を積分に拡張し,最小作用の原理をさまざまな力学課題に適用できるようにし,”最大,または最小の性質をもつ曲線を見出す方法”(1744)を発表しました.これを読んだ若きラグランジュは変分法を発明し,オイラーに手紙(1755)を送ります.オイラーは,ラグランジュの方法を採用し,”変分法の原理”(1766)を出版します.変分法で導かれる運動方程式が,オイラー=ラグランジュ方程式といわれる所以です.その後,ラグランジュは,”解析力学”(1788)を出版します.その序文に「本書には図は一つも出てこない....所定の手続きに従い進める代数計算だけだ....」と高らかに宣言します.こうして,複雑な力学問題も解ける一般化された手法が確立されます.
変分法は,19世紀のハミルトン,ヤコービにより完成に至ります.ハミルトンは,系の状態を表示する空間に,座標と速度を座標軸とした相空間を導入し,「作用量は最小化や最大化するのではなく,停留化する」ことを示しました.
1つの物体は,座標x,y,zと速度x˙,y˙,z˙を変数に持ち,その状態は6次元の空間の1点で表現できます.同様に,N個の物体よりなる系は,6N次元の空間の1点で表現できます.この空間を相空間といいます.系のエネルギーを
H(xi,yi,zi,xi˙,yi˙,zi˙),i=1,2,・・・,Nとすると,エネルギーが保存される運動の軌跡は,相空間内の超平面H(xi,yi,zi,xi˙,yi˙,zi˙)=hに含まれます.超平面に描かれる閉曲線に沿った”作用”を停留化する曲線が軌道となるわけです.解けるかどうかは別として,周期解(軌道)が存在することは,証明(1986年)されています.(文献10)
■ 最小作用の原理の理解には,ホイヘンスの光の波動説の説明が参考になります.ホイヘンスは,空間は見えない媒質で満たされており,光は波紋(球面波)が拡がるように伝わると考えました.波面上の各点はまた新たな波源となり,そこを中心として新たな波紋が広がって行きます.生じた無数の波紋は重なりあったり打ち消しあったりの結果,新しい波面ができます.これは多数の波面の包絡面で,この面に垂直な方向に光は進むと考えます.この様なプロセスで決定された方向は,作用を停留値にするものです.

量子力学の世界の運動には,軌道の概念がなく,電子などはランダムに動き回ります.しかし,我々の日常(マクロ世界)では,電子の運動でも軌道はあります.ここで,マクロ世界でも物体はランダムな経路をとれるとしてみましょう.あらゆる経路に実現可能性があるが,各経路の実現率は,それぞれの確率に従う.これらの確率は,波紋が伝播するときのように互いに干渉し合い,その結果として現実の経路が決まってくると言うわけです.最も確からしい経路は,近くからの干渉の最も少ない経路であって,これがちょうど作用積分を停留化するもののようです.「ファインマンの原理」(文献10)
■ 運動方程式が解ける問題を”可積分な問題”といいますが,実際は,”非可積分の問題”がほとんどです.ニュートン力学は,可積分で安定な周期軌道が解になる特殊な範疇を扱っています.一方,非可積分の問題からは,カオスが生じます.1つの軌道は,1本の因果列の存在を意味しています.単純な世界は,今日の現象(原因)1が明日の結果1につながり,今日の現象(原因)2が明日の結果2につながる世界ですが,一般には,今日の現象のすべてが,明日のある結果1の原因になりうる複雑な世界です.バタフライ・エフェクトという映画*)があったようですが,今日,上空で蝶が羽ばたいたことが,遠い未来に竜巻きを起こす原因の一つになるかも知れません.「風が吹けば,桶屋が儲かる」世界です.この世界は,独立な因果列はないので,周期的な軌道にはなりません.コンピュータを用いて,すべてのステップを計算していけば,結果を予測できるのですが,遠い先の結果は予測もつかないものになります.「最小作用(停留値)の原理」は,ニュートン力学も含むが,このようなカオスも含む原理であります.
*注)過去に戻れる能力を持ったエヴァンは,過去に戻りやり直すことにする.しかし,過去に戻り選択肢を変えて始めた人生は,どれも,自分を含め自分が愛する誰かが,幸せではないものだった.
 
■ 最小作用の原理の起源といえば,1696年のスイスの数学者ヨハン・ベルヌーイの”最速降下曲線”問題に言及せねばなりません.「決まった二点の間を,始点から終点まで玉が一番速く転がることが出来るような曲線を求めよ」という問題です.ライプニッツの提案により,ベルヌーイはこの問題を海外の数学者にも公開することにしました.ベルヌーイは,ライプニッツの友人で,ニュートンとライプニッツの微積分の先取権論争にも加わり,ライプニッツを応援しています.きっと,ニュートンを困らせてやろうと思ったのでしょう.ところがこの問題を受け取ったニュートンは,「当時,造幣局の仕事で忙しく疲れて帰宅したが,問題が解けるまでは寝なかった.とは言っても朝4時までには解けてしまった」と日記に書いています.そして,解答を匿名で返したということです(文献1,5).

最速降下曲線の答えは,円板の縁(1点)に目印をつけ,直線上を転がしたときに,目印が描く”サイクロイド曲線”です.ホイヘンスが振り子時計に用いたあの曲線です.

 

 

 

 

 

 

 

 

 

 

 

■ 解析力学の手順
力学系を記述するラグランジュ関数 を求め,ラグランジュ関数の作用積分が停留値をとる条件を変分法で解くと,オイラー=ラグランジュ方程式が得られます.簡単な系のラグランジュ関数は,(運動エネルギー)-(位置エネルギー)の型になりますが,複雑な系では,位置エネルギーが速度に依存することもあります.
ラグランジュ関数は,電磁場に置かれた荷電粒子にも定義され,光(電磁力学)も力学も統一して扱える原理であります.変分原理から,ニュートンの運動方程式は導出されます.その上,変分原理はニュートン力学よりさらに一般化された外界の原理です.(文献11)
20世紀に入り,量子力学が誕生するときにもこの原理が手がかりになりました.光や物体の運動が,作用積分を停留化するような,手の混んだ経路を選択するというのは,何と不思議なことでしょう.

(文献)
1.物理と数学の不思議な関係,マルコム・E・ラインズ(青木薫訳),ハヤカワ文庫, 2004
5.古典物理学を創った人々,エミリオ・セグレ(久保亮五,矢崎裕二訳),みすず書房,1992
10.数学は最善世界の夢を見るか?,エクランド(南條郁子訳),みすず書房, 2009
11.理論物理学,カンパニエーツ(山内恭彦,高見穎郎訳),岩波書店, 1964


(「数学文化」谷,NO.15(2010),p.79-87 より抜粋)

フラクタル2


https://elementy.ru/posters/fractals/H-fractal

Hフラクタル
文字Hの形の図形からすべてが始まります。Hの垂直な線分と水平な線分の長さは等しくなっています。
次ステップで、図の4つの端のそれぞれに、半分に縮小されたコピーが描画されます。
次ステップで,両端にあるのは,4分の1に縮小された16個のHです。
このように無限に繰り返して、フラクタルは視覚的にほぼ正方形を埋めます。

Hフラクタルはどの場所でも密。つまり、正方形の任意場所のいくらでも小さい近傍に、フラクタルがあります。よく見ると、各文字Hが、同じステップで完成した独自の小さな正方形に含まれていることがわかります。

 

Hフラクタルは正方形を埋める(空間充填曲線)ので、そのフラクタル次元は2で、すべてのセグメントの全長は無限大です。

Hフラクタルを構築する原理は、電子マイクロ回路の製造に使用されます。複雑な回路内の多数の要素が同時に同じ信号を受信する必要がある場合、Hフラクタルの適切な反復セグメント端に配置し、接続します。

オプション
Mandelbrotマンデルブロの木は、線セグメントではなく長方形でできた厚いHを描画することで作られます。

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

www.flickr.com/photos/29915793@N08からの画像
平面の一部を埋める線のいくつかの例(空間充填曲線)は、1890年にイタリアの数学者ジュゼッペペアノの論文に初めて登場しました。Peanoペアノは、曲線と正方形が等しい性質(点集合と見なす場合)である、つまり「同じ」密度の点を持っているということの視覚的な説明を見つけようとしました。この定理は、Georg Cantorカントールによって、彼が創始した集合理論の枠組みの中で証明されていましたが、この直感に反する新理論の結果は、大きな懐疑論を引き起こしました。ペアノの例(セグメントから正方形への連続写像)は、カントールの正しさの良い確認となりました。

 

 

 

 

 

 

 

 

ペアノ曲線、最初の3回の繰り返し
不思議なことに、ペアノの論文には1つのイラストも含まれていませんでした。ペアノ曲線という表現は、特定の例ではなく、平面または空間の一部を埋める曲線を指す場合があります。

下の曲線(ヒルベルト曲線)は、1891年にデビッドヒルベルトによって発表されました。見ることのできるのは,私たちの念頭にある数学的オブジェの有限回近似です。本当の曲線は、無限回の操作後にのみ実現します。

 

ペアノ曲線の変種-ヒルベルト曲線、最初の6回の反復

ゴスパーカーブ、またはゴスパー雪片(ビル ゴスパー):

 

ゴスパーの曲線(雪片)

 

そして、そのような線の三次元版もあります。たとえば、3次元のヒルベルト曲線、またはヒルベルトキューブ:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

カリフォルニア大学バークレー校のコンピューターサイエンスの教授であるCarloH.Séquinによって作成された、3Dヒルベルト曲線のエレガントなメタリックバージョン(3回目の反復)。 www.cs.berkeley.eduからの画像

このようなモデルは、64個のプラスチック製コーナー配管を用い自分で作れます。

 

ヒルベルトのプラスチックキューブ(2回目の繰り返し)。momath.orgからの画像

フラクタル1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 


表紙の3D図形は,コッホピラミッドと呼ばれます.
https://elementy.ru/posters/fractals/Koch


コッホの雪片

 

 

 

 

 

 

 

 

 

 

 

この図は,最初に研究されたフラクタルの1つです.これは,1904年のスウェーデンの数学者Helge vonKochの論文に初めてでたKoch曲線の3つです.この曲線は,連続ではあるが至る所接線を引くことができない線の例として提案されました.このような特性を持つ線は以前から(Karl Weierstrassは1872年)知られてはいましたが,Koch曲線はその構造の単純さで注目に値します.

コッホ曲線の作り方 以下の操作を無限に続けます.

 

 

 

 

 

 

 

 

 

コッホ曲線の基本的な特性
0.拡大しても拡大しても同じパターンがでて来ます。

1.連続ですが、至る所で微分できません(接線が引けません)。

2.無限の長さを持っています。元の線分の長さを1とすると、各ステップごとに; 1,4/3,(4/3)^2,....のように長さが増えていきます。nステップごの線の全長は(4/3)^nですから、n→∞で全長は無限大になります。

 

 

 

 

 

 

 

 

 

 

 

3.コッホの雪片が囲むのは有限な領域ですが、その周囲が無限であるというのは不思議です。興味のある方は、面積を計算してみてください。

 


始めにあるのは面積S_0の正3角形1つ.step1で出来るのは,2つの正3角形を重ねたダビデの星形(ピンク色の星形).この面積S_1は,中心の正6角形[面積は(2/3)S_0]と外側の小さな3角形[面積は(1/9)S_0]が6個です.S_1=S_0[2/3+6(1/9)].step3では,青色の小さな正3角形[面積S_0x(1/9)^2]が2×6個分付け加わります.S_2=S_1+2・6・S_0(1/9)^2.このように継続していくと,面積は単調に増加一方ですが,付け加わる面積は指数関数的に減少し,n→∞で面積はある値に収束するはずです.

 

 

 

4.フラクタル次元はlog4 / log3 =1.26・・・
自分の中に1/3に縮小した自分が4個入って次の世代ができる

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

美しい幾何学p159,160

シエルピンスキー3角形

https://elementy.ru/posters/fractals/Sierpinski

このフラクタルは、1915年にポーランドの数学者シェルピンスキーVaclavSierpinskiによって記述されました。これを作るには、正3角形の内部に、中線3本を引き、生じた4つの小さな3角形の中央の1つを捨てます。次に、残りの3つの三角形のそれぞれについて同じ手順を繰り返します。この図は、最初の3つの手順を示しています。

 

 

 

 

 

Sierpinski三角形を作る手順


中央の3角形を捨てることは、Sierpinskiの3角形を作る唯一の方法ではありません。「反対」のやり方も可能です。最初は「空の」三角形を取り、その中の中線で形成される3角形を作り、3つの角の三角形のそれぞれで同じことを行います。最初は、図は大きく異なりますが、反復回数が増えるにつれて、それらはますます互いに類似し、無限回繰り返す極限では両者は一致します。

 

 

 

 

 

Sierpinski3角形を作る「反対」の手順


Sierpinski3角形を得る次の方法は、次の反復の一部に縮小された自分を置き換えることで幾何学的フラクタルを構築する通常の手順にさらに似ています。各ステップで、ポリラインを構成するセグメントが3つ折れのポリライン(最初の反復で形ができた)に置き換えます。この3つ折れを右と左に交互に置き換えて行きます。8回目の反復でフラクタルに非常に近いものが出来上がっています。

Sierpinski3角形を得る別の方法


しかし、それだけではありません。Sierpinski3角形は、平面上の点のランダム歩行の種類の1つの結果として得られます。この方法は「カオスゲーム」と呼ばれています。他のいくつかのフラクタルはそれを使って構築することができます。

カオスゲーム

「ゲーム」の本質は次のとおりです。正3角形をA1 A2 A3とします。任意の始点 B0が与えられます。3角形の3つの頂点の1つがランダムに選択され、もしA1が選ばれたとすると、B0とA1の中点B1 がマークされます。同様に、次にA2が選ばれたとすると、B2がマークされます。その後、A3が選ばれたとすると、B3がマークされます。つまり、前の手順で何を選択したかに関係なく、三角形の頂点がランダムに選択されるたびにマークされる点がジャンプして生じます。驚くべきことに、シェルピンスキーの三角形がすぐに表示されるようになります。以下に、100、500、2500ポイントがマークされたときに何が起こるかを示します。

 

 

 

 

 

 

 

カオスゲーム:100、500、2500ポイント


いくつかの性質


フラクタル次元$$log_{2}3=1.584962・・・$$。 Sierpinski3角形は、自分自身を1/2に縮小した3つのコピーで構成されます。それらの相対位置は、グリッドセルが半分になると、フラクタルと交差する正方形セルの数が3倍になるようなものです。つまり、$$ N( δ/2)= 3N(δ)$$です。最初のセルサイズが1で、フラクタルがそれらの$$N_{0}$$と交差する場合($$N(1)=N_{0}$$), $$N(1/2)=3N_{0},N(1/4)=3^2N_{0},・・・, N(1/2^k) =3^k$$ $$N_{0}$$。   したがって、$$N(δ)$$は$$ (1/δ)^{log_{2}3} $$に比例しており、フラクタル次元の定義により、次元は$$log_{2}3$$に等しいことがわかります。
Sierpinski3角形の面積はゼロです。これは、単一の、非常に小さな円でさえ、フラクタルに収まらないことを意味します。つまり、最初の方法で構築を開始した場合、内部全体が3角形から「取り出され」ました:各反復のたびに、残っている領域は3/4倍されます。つまり、ますます小さくなり、0に収束します。これは厳密な証明ではありませんが、他の構築方法も、この特性が真実であるという確信を高めるだけです。
コンビナトリクスとの予期せぬつながり。$$2^n$$ 本の線があるパスカルの三角形で、すべての偶数を白で、奇数を黒で着色すると、目に見える数字はSierpinski3角形を形成します。
オプション
Sierpinskiによるカーペット(正方形、ナプキン)。正方形のバージョンは、1916年にVaclavSierpinskiによって記述されました。彼は、自己交差することなく平面上に描くことができる曲線は、このスカスカの正方形のサブセットと同形であることを証明することができました。3角形のときと同様に、正方形はさまざまなデザインから取得できます。右側は古典的な方法です。正方形を9つの部分に分割し、中央の部分を捨てます。次に、残りの8つの正方形についても同じことが繰り返されます。

 

 

 

 

 

 

 

 

 

 

Sierpinskiカーペット、最初の5回の繰り返し


3角形と同じに、正方形の面積はゼロです。シェルピンスキーカーペットのフラクタル次元は、3角形と同様に算出し log_{3}8

シエルピンスキーのピラミッド。Sierpinski3角形の3次元類似物の1つ。起こっていることの3次元性を考慮して、同様に構築されます。1/2に圧縮された最初のピラミッドの5つのコピーが最初の反復を構成し、その5つのコピーが2番目の反復を構成します。フラクタル次元はlog_{2} 5です。図の体積はゼロです(各ステップで、体積の半分が破棄されます)が、表面積は反復ごとに保持され、フラク​​タルの場合は最初のピラミッドの場合と同じです。

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

メンガーのスポンジ。Sierpinskiカーペットの3次元空間への一般化。スポンジを作成するには、手順を無限に繰り返す必要があります。繰り返しを構成する各立方体は、27個の1/3に縮小された立方体に分割され、中央の立方体とその6つの隣接する立方体が破棄されます。つまり、各立方体は20個の新しい立方体を生成します。これは3分の1です。したがって、フラクタル次元はlog_{3} 20です。このフラクタルは普遍的な曲線です。3次元空間の曲線は、スポンジの一部のサブセットに対して同形です。スポンジの体積はゼロですが(各ステップで20/27倍されるため)、表面積は無限大です。

 

ピタゴラスの木

https://elementy.ru/posters/fractals/Pythagoras

上記ウエブサイトの図を利用していますが,説明文はわかりやすくするために書き換えています.

 

この図形は正方形ばかりでできています.3つ組の正方形が囲む3角形が直角3角形なので,ピタゴラスの定理が成立するので,ピタゴラスの木と呼ばれます.

この構成規則のため木全体が制限されるので,最大の正方形を1とすると,木は6×4の長方形に収まります。したがって,その面積は24を超えません.各ステップで,正方形の辺は1/√2倍に縮小され(面積は1/2)ますが,生じる縮小された正方形の数は2倍ですので,いつも同じ面積が追加されて行きます.このため,木の領域は無限大になるはずです.しかし実際には,正方形がかなり速くから重なり始め,領域がそれほど速く成長できません.それは有限ですが,正確なことはわかっておらず,これは未解決の問題です.

3角形の底辺の角度を変えると,木の形が少し異なります.そして,60°の角度で,3つの正方形すべてが等しくなり,木は平面上で周期的なパターンに変わります.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

正方形を長方形に置き換えることもできます.そうすれば,木は本物の木のように見えます.そして,いくつかの芸術的な処理により,かなりリアルな画像が得られます.

 

 

レビィ曲線

https://elementy.ru/posters/fractals/Levy

 

 

 

 

 

 

 

 

 

 

 

このオブジェクトは1906年にイタリアのエルネスト・セサロによって研究されましたが、その自己相似性とフラクタル特性は、1930年代にフランス人のポール・ピエール・レヴィによって研究されました。このフラクタルの境界のフラクタル次元は、 1.9340にほぼ等しい...。しかし、これはかなり複雑な数学的結果であり、正確な意味はわかっていません。

華やかなフォントで書かれた文字「C」に似ていることから、レビィCカーブとも呼ばれます。よく見ると、レヴィの曲線がピタゴラスの木の冠の形に似ていることがわかります。

バリエーション
歪んだ曲線は、各ステップで等角線の右三角形の代わりに他の右三角形を使用することによって得られます。

Levyレヴィ Cカーブの別バージョンは、セグメントではなく文字Pで開始する場合に作成できます。以下は、このカーブを作成する最初の3、8、および11番目のステップです。

 

 

 

 

 

 

 

 

 

 

 

 

 

 

レヴィ島は、正方形を基準にすると得られます。

有限単純群

(訳者による要約)

単純群とは,自明な正規部分群以外の正規部分群を含まない群です.乱暴な言い方をすれば,自然数では素数のようなものです.有限群を単純群の積で表すのは,自然数を素因数分解するイメージです.

(定理)有限単純群は次のいずれかと同型である.
1.素数位数の巡回群
2.5次以上の交代群
3.Lie型の単純群
4.26個の散在型単純群

 1~3は系列ですが,どちらにも属する群も存在し,この分類は重複を許すものです.4は系列に属さず存在する群なので散在型と呼ばれます.モンスター群は散在型単純群に分類されます.この記事の趣旨はこのような数え上げの問題では分類完了と言い切れないということで,有限単純群の分類に踏み込んで理解する必要はありません.

 この分類定理は,10年を越える500以上もある論文を繋ぎ合わせて得られる結論ですが,論理の繋ぎにギャップがある可能性はあり.分類に抜けがないとは言えません.理論全体を理解している人は10人いるかどうかで,今後とも証明が完全であることを証明できるかどうか疑わしいと言うことです.

結晶点群は32個ですが,この中の単純群は1,2,3,4(mod2),-1,mで,1は例外,3以外は位数2です.

ーーー 

■数学は何処へ行くより3, Brian Davies(ロンドンキングスカレッジ)

https://elementy.ru/nauchno-populyarnaya_biblioteka/164681/164685


これから説明する3番目の危機も、不必要な複雑さに関連していますが、ある意味ではもっと深刻です。この場合、私たちはコンピュータは使いませんが、「純粋数学」におけるコンピュータの証明が容認できない理由です。私が提供する例は、現代数学の中心的な分野の1つである群論に関連します。

1970年代に、100人を超える群論専門家が一種のコンソーシアムを結成し、単純な有限群の完全な分類を目標にしました。この問題は非常に骨の折れるものとして提起され、その解決策は、純粋数学で「フロー法」と「分業」を使用した唯一の例です。ダニエル・ゴレンシュタインの指導の下で、問題は「パッケージ」に分解され、世界中の数学者のさまざまなグループに割り当てられました。10年間の集中的な作業の後、3つの可算無限の系列族と、26個の散在型で構成されるすべての有限単純群の完全な分類をまとめることに成功しました[訳注)約500編の論文]。 「モンスター」と呼ばれる最高位数の散在型の存在は、コンピューターの助けを借りてのみ証明することができました。 幸いなことに、この問題をめぐる危機は、群分類の詳細に立ち入ることなく議論することができます。有限単純群が何であるかを知る必要さえありません。

1980年代には、群分類自体と同じくらい興味深いことが起こりました。外向きのポジティブな変化です。コンピューターを使わずに「モンスター」の存在を証明する方法の発見です。さまざまな数学者グループの努力を組み合わせて、模索された証明の大規模な研究を実施することが決定されましたが、期待される結果の代わりに、以前に受け入れられた証明の多くのギャップが特定されました。ほとんどの穴にはパッチが適用されていましたが、1990年に単純な有限グループの完全な分類が得られたという記述は時期尚早であると見なされるほど、深刻であることが判明しました。時が経つにつれて、このギャップはアシュバッハーとスミスの証明で埋められ、再びその証明は非常に正しいように見えました[3]。この最終的な証明の20巻のうち、これまでに公開されたのは不完全な5巻だけであり、これは定理が「証明」されてから四半世紀後のことです。詳細については、[3]、[27]を参照してください。プロジェクトに最も関心のある参加者の1人であるミハエル・アッシュバッハーは、いつの日か新しい有限単純群が発見される可能性を排除していません。
その特性がすでに知られているどれかに関連しているなら、大したことではありませんが,
アッシュバッハーは、根本的に新しい有限単純群である可能性を排除していません。その場合は、分類に関するすべての作業を最初から始めなければなりません [4]。Jean-Pierre Serre は用いられる証明の正しさと完全さに懐疑的であることを記しておきます [24].

アッシュバッハーは、証明は「外見は十分に強い」と考えています。それは、特定された欠点が、証明のメインラインに影響を与えることなく、適度な量の追加作業でこれまでに修正できたからです。残念ながら、これは証明が正しいことを意味するものではありません。証明の強さは、そのリンクの最も弱いものによって決定されます。これまで、ドロップされたリンクが比較的簡単に新しいリンクに置き換えられたという事実は、これが将来何度も成功することを保証するものではありません。

個々のスレッドの切断があるネットワークの形の証明をイメージしましょう。ネットワーク全体の整合性を脅かさないで、どこかにハエが這うのに十分な大きさの穴があることは排除できません。ハエ(この場合は有限単純群)の大部分は捕らえられますが、すべてではありません。

数学的知識を相互に関連する事実のウェブと比較するという考えは、線形論理の役割を減らし、数学的証明の問題を確率論的平面に移します。これは必然的に不必要な複雑な構造につながります。この考えは新しいものではありませんが、数学者自身が向かうのは比較的最近です。同様の類似点は、特にアシュバッはー [4]によって与えられており、「古典的な数学」とは対照的に、データを整理するさまざまな方法が豊富な、情報集約型の科学としての現代の数学と生物学の類似点を示しています。

有限単純群の最終分類案の完成(徹底的な最終報告書を発行するという意味で)に関しては、自然な老齢化で主要な参加者を失ったために危機に瀕しています。さらに10年後、それらのほとんどは生命や数学から消え、分類を完了するのに十分なほど問題を深く理解している科学者は少ないでしょう。しかし、プロジェクトが徹底的な最終報告で終わったとしても、少なくともマルチボリューム証明の主要な行を理解していると主張する権利を持っている数学者は、おそらく世界に10人もいないでしょう。

したがって、次のような状況になります。数文で定式化された問題の解決には、数万ページのテキストが必要です。証明は完全に書き留められておらず、一貫して書き留められているわけではなく、おそらく書き留められることはなく、最後に、1人の個人が完全に理解することはできません。しかし、得られた結果は重要であり、群理論の枠組みの中でさまざまな問題を解決するために広く使用されていますが、その正確性は依然として大きな問題です。

もちろん、群分類の問題を解決する簡単なアプローチができる可能性もあります。しかし、同じように、これが起こらない可能性もあります。アシュバッハーは、(まだ記録されていない)利用可能な証明の推定全長が過去四半世紀で減少していないという事実を考えると、比較的単純な証明の可能性について懐疑的です。チューリングの研究から、証明が定式化よりも何倍も長い定理があることがわかります。実際、これら2つの長さの比率は任意に大きくすることができます。コーエンは、「中程度に複雑さの数理論の基本問題でさえ、圧倒的多数が合理的な理解を超えている」と確信しています[13]。したがって、将来的には、この種の新しい発見のみが期待できます。

 

Tスクエア

Т-квадратelementy.ru
このフラクタルは、T定規の形をしています(英語ではT定規をT-squareと呼ぶそうです)。レース模様のようです。

 

 

 

 

 

 

 

 

 

 

 

 

始めに与えられた辺の長さ1の正方形(暗い部分)の中心に,①辺1/2の正方形を白く塗ります。次に,②正方形の4つの頂点を中心に,①の正方形の辺の1/2の辺の正方形を白く塗ります。このように繰り返し,次の世代で追加する正方形は,前の世代の正方形の頂点を中心に,辺の長さは前の世代の1/2にします。
無限回繰り返したときにできるフラクタルのフラクタル次元は,
log_{2}4 = 2 です。

 

 

 

 

 

 

 

 

 

 

無限に繰り返すと,始めに与えられた正方形のどの点をとっても、その近傍には白く塗りつぶされた点があり,始めに与えられた正方形のほとんどすべてが白くなり,残りの領域は0に等しく,フラクタルは始めに与えられた正方形(面積1)全体を占めます。しかし、塗りつぶされた部分の境界の長さは無限です。

コンピュータで証明のステップは大丈夫か


数学は何処へ行くより2, 
Brian Davies, Notices of the American Mathematical Society, декабрь 2005, vol. 52, №11.

コンピュータプログラムを書いたことのある人は誰でも、最も単純で最も短いものでさえ、数学者とは異なり、間違いを許さないことをよく知っています。構文のわずかなエラーはコンパイラーによって認識され、そのようなプログラムの実行は即座に停止されます。コンパイラは2つの異なる変数に同じ名前を使用することをスキップしますが、プログラムの出力はほとんど意味がないため、このようなエラーに気付くことは困難です。多くの場合、数学的なエラーは、同様のタイプの単純な問題に対してプログラムを実行することによって検出されます。その解決策は事前にわかっています。この場合、問題の入力パラメーターを変更することで、モデルが予測どおりに動作することを確認できます。

標準ソフトウェアパッケージに含まれているユーティリティで発生する可能性のあるエラーと不正確さは、それらの重要性と発現の希少性のために、識別することははるかに困難です。それにもかかわらず、わずか数百行の長さのプログラムは、数学者の生活を信じられないほど楽にすることができ、プログラムをデバッグすることで最終的に正しく動作できることを示しています。長くて複雑なプログラムを使用すると、本当の問題が発生します。最近、すべての部門のコンピューターに誤ったソフトウェア更新がインストールされたため、英国政府の管理がほぼ1週間麻痺しました。

ソフトウェアの正確さの正式な検証は、応用数学論理の分野の専門家とビジネス担当者の両方の関心事です。特に、Windows XP[訳注)この論文は2005年]の信頼性の向上は、プログラムの機能の根底にある数学的アルゴリズムの正式な整合性チェックの数学的方法に基づく強力なソフトウェアの正確性分析ツールのおかげで達成されました。ただし、いくつかの点で、サイバネティクスと数学の問題は根本的に異なる面にあります。 Javaなどの一部のプログラミング言語の技術文書は、数百ページの長さになる可能性があります。これは、最も洗練された定理が必要とするよりもはるかに長いものです。ソフトウェアの「特異な」動作がバグなのか、プログラムの機能なのかを判断するのが難しい場合もあります。ハング(多くの場合、バッファオーバーフローが原因)は、間違いなくプログラマの欠陥です。たとえば、LATEXが、ユーザーの要求に応じず、何かをすることを拒否した場合、開発者がそのような機能を必要であるとは全く考えていなかったためで,明確なことを言うのはより困難です。一般に、大規模なソフトウェアパッケージの開発に不適切な技術仕様は、プログラマーによる技術仕様の不適切なパフォーマンスよりも、予測できない経済的影響を伴う壊滅的な障害を起こす原因です。


ソフトウェアの正しさの公式的証明により、一部のサイバーネティシストは厳密な数学に同じ方法を適用しようと試みましたが、現時点でこの分野の活動は明らかにうまく行っていません。以下の発言から、私が分析している分野では、正当性の公式的証明の実施に大きな困難が予見されていることがはっきりとわかります。他の分野では(たとえば、数学論理や代数で)価値のあるアプリケーションを見つけるかもしれませんが、これらの分野で働く専門家にこれを判断させてください。たとえこれらの詳細が重要でなくても、起こっていることの雰囲気を読者に伝えるために、ここで詳細を少しだけお話しましょう。数学的分析におけるほとんどすべての定理の証明は、外部の事実に基づいています。これらは読者が知っていることを意図しているため、通常は説明されません。例えば、ディリクレ境界条件を持つ有界ユークリッド領域でのラプラシアンのスペクトル分析に専念していると述べることから始めるなら、このトピックだけでもおそらく数百のモノグラフと数千の出版物があり、著者はそれらのほとんどに精通しているとして、この場合、著者は、読者が気付かない可能性のある、新しくてあまり知られていない論文のみを参照します。これは、そのような記事を読む人が、このジャンルの古典に精通している可能性が高いことを意味します。

この道筋に沿って多くの罠があり、時折それらに陥ります。数学的な分析では、同じ定理の複数のバージョンが存在することが多く、異なる初期の仮定に基づいて同様の結論が出されることを忘れがちです。モノグラフには、多くの場合、セクションまたは章の冒頭に、最初の仮定の単一の表示がされ、定理を使用して、その後、著者はどこにも仮定に言及しません。

多くの場合、証明のステップを正当化するとき、著者は元のソースを引用せずに、いくつかの古典的な結果を参照します。最近、私の学生の一人がマーサーの定理の誤適用を見つけました。マーサー自身の定式化は、1次元間隔でカーネルを使用して動作しますが、私はより一般的な定式化を使用し、説明はなしでした。学生が私のバージョンを立証するように私に依頼したとき、私が使用した解釈をカバーするのに十分な一般的な定理の主張を文献で見つけることができませんでした。半ダースの本をめくった後、私はこの証明を自分で書くことにしました。私のように、線形間隔の元の証明に精通している人なら誰でも、有限数の次元を持つケースにそれを拡張可能なことは明らかに見えます。しかし、一般的な形で定理を厳密に証明するのに4ページかかりました。私は、この場合に必要な結果の証明可能性が明らかであったため、重大な教育上の間違いを犯しませんでした。残ったのは、マーサーの証明のすべての論理ステップを1次元のケースから多次元のケースに丹念に転送することだけでした。結局、生徒は私の証明に満足しました。

専門家は、議論中の文脈に合うように古典的な定理を修正することが可能である場合、ほとんど本能的に「理解」します。どうやら、専門家を区別するのはこの能力です。時折、集まって、あらゆる領域の多かれ少なかれ完全な説明を含むモノグラフを書く力を持った数学者がいます。同僚は後で参照するものがあるので、これは大きな問題です。しかし、そのようなモノグラフは、作者が自発的または無意識に均質な文脈でそれを構築するため、実際の状況を歪めるだけである場合があり、そのようなモノグラフで与えられる多くの定理は、より弱い条件下でも当てはまります。

結晶空間群

結晶空間は周期的な世界です.周期的な空間を,対称性で分類すると,3次元では230種類の空間群になります.2次元では壁紙群とも呼ばれ17種類です.

注)群というのは,
集合の元elementの間に演算が定義されて,任意の2元間で演算を繰り返して生じる元も集合に属する集合で,
(有限集合の場合も無限集合の場合もあります)

群の演算定義を満たす代数系のことです.

例えば,2次元の周期は,2つの独立なベクトル$$a,b$$を与えて,$$na+mb$$(格子点の集合)で表現できます.ただし,$$n,m$$は整数.格子点の集合の対称性は並進群で記述されます.格子点は,無限可算個ですから,並進群は無限群です.

結晶点群は32個ですが,この中の単純群は1,2,3,4(mod2),-1,mで,1は例外,3以外は位数2です.

 

 工事中!

 

 

帰無仮説(ヌル仮説)

 

 

 

 

 

 

 
 
レムデシベルが新型コロナ治療に有効であるのか/ないのかの議論があります.このような疑問に終止符を打つには,十分な統計的解析が行えるデータが必要です.偏見のある仮設に立って解析を始めてはなりません.統計的解析のスタート台は,帰無仮説(ヌル仮説)が鉄則です.これは,証拠がないので因果関係はないと見なすことです[推定無罪のようなもの].ただし,統計的結論がでた後でも,一つの症例が発見されただけでひっくり返る可能性があるのが,統計的結論というものです.これは結論に影響を与える非常に多くの要因があるからです.さらに,統計的結論を待っては手遅れになるという一面もあります.
統計的研究を行う際には,ヌル仮説に立ちます.そして,科学的実験あるいは臨床データに基づき,仮説の証明または反証を目指します.
ほとんどの場合,単一の「クリーンな」現象ではないため,結果の信頼性を保証するために測定を何度も繰り返す必要があります.したがって,得られたデータの統計的解析が必要になります.結果は多くの要因に依存するので,メインの要因とマイナーな要因を分離する必要があります.

たとえば,科学者が喫煙と肺がんの関連性を見つけたい場合,肺がんを患っている(または発症しなかった)喫煙者を1人見つけるだけでは不十分です.この科学者が喫煙と肺癌の間に関係があると主張できるようになるには,かなりの量のデータを収集して分析する必要があります.この種の研究では,ヌル仮説が重要な役割を果たします.ヌル仮説は,結果(あらゆる研究の最終目標)が存在しないという仮定です.喫煙と肺がんの関係を探る限り,そのような因果関係は存在しないというのがヌル仮説です.問題は,収集されたデータがこの主張を無効にするのにどのような意味で十分であるかということです.
実際は,喫煙と肺癌発生ではヌル仮説はずっと前に卒業しました.しかし,それを実証するための十分なデータがなかった頃は,これが単なる偶然の問題ではないということを証明できませんでした.大量のデータを得たので,ランダムな結果の可能性を最小限に抑えられ,ヌル仮説を卒業することができました.

ヌル仮説を卒業するためには,大量のデータを蓄積する必要がありました.科学者は「大きなサンプル」と言うでしょう.しかし,大きくなくても「質の良いサンプル」というものもあります.たとえば,ティコ・ブラーエの長年の正確な観測は,ケプラーの惑星運動の法則の発見につながりました.これは,ヌル仮説を拒否し,ケプラーの結果が正しいことを確認するのに十分でした.

病気とその疑わしい原因との間に相関関係があると主張する論文を読むときには,ヌル仮説を除外する前に,研究者が実際に十分な症例を調べたかどうかに注意してください.新型コロナの治療薬やワクチンに関しても同様です.

タイルとHeesh数


 

 

 

 

 

 

 

 

 

 

 

 

 

 

Haydar Nurligareev "Kvantik"# 10,2019より.Alexey Weiner画

 

正3角形,正4角形,正6角形は,それぞれ無限に広い平面をタイル張りできます(図1).

1つのタイルを中心に置き,その周囲を同じタイルで[重ならず隙間も空けず]取り巻きます(レイヤー1).
次のその周りを取り巻きます(レイヤー2).何周取り巻けるかがHeesh数です.1周も取り負けなければHeesh数は0.
正3角形,正4角形,正5角形は,それぞれ平面のタイル張りができる(図1)ので,Heesh数はです.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(図1)

正5角形のタイルは平面タイル張りができません(図2).正5角形のHeesh数は0です.

 

 

 

 

 

 

 

 

 

(図2) 

ランダムに選択されたタイルにもHeesh数があり,通常は0またはのいずれかです.
Heesh数が1,2,3,...の多角形はありますか?
1968年にハインリッヒヒーシュHeeshがこの問題を定式化する前は,Heesh数が0か以外の既知のタイルは1つしかありませんでした(図3).このタイルは多角形でさえなく,1922年にWalterLitzmanの著書「AmusingandStrangeNumbersandShapes」に最初に登場しました.Heesh数は1です.

 

 

 

 

 

 

 

 

 

(図3)

Heesh自身が,Heesh数が1に等しい別のタイルを見つけました.これは,正方形,通常の三角形,および同じ三角形の半分で構成される5角形です(図4).

 

 

 

 

 

 

 

 

 

 

 

 

(図4)

Anne Fontaineは,1991年にHeesh数が2のタイルの最初の例を示し,そのようなタイルを無数に作成しました.それらはすべて同じ正方形で構成されています.つまり,それらはポリオミノ図形です(図5).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(図5)

同年,ロバート・アンマンは通常の6角形に2つの突起を追加し,同じ溝を3つ切り取り,Heesh数が3の図を作りました(図6).アンマンのアイデアはシンプルでエレガントです.突起と同じ溝があるタイルを探す必要がありますが,その数は異なります.

 

 

 

 

 

 

 

 

 

 

 

 

 

(図6)

2001年にCasey Mannによって発見されたタイルの例を使用して,このアイデアがどのように機能するかを示しましょう.これは,4つの突起と5つの溝を持つ4セルの長方形の形をしています(図7).そのようなタイルのHeesh数が大きすぎない理由を以下で述べましょう.タイルのコピーで完全に覆われた正方形Sを考えてみましょう.各溝は同じ突起でしか閉じることができないため,正方形Sの内側にある溝と突起の数は 同じです.一方,正方形内の突起の数は、その面積(セル内)にほぼ等しくなります-タイルの各セルには突起が1つだけあり,溝の数はその面積の5/4にほぼ等しいためです-タイルでは,4つの突起ごとに5つの溝があるためです.しかし,大きな正方形では,これらの数を等しくすることはできません.

 

 

 

 

 

(図7)

サイズ2n × 2nの正方形 Sをタイルで完全に覆います。これには少なくとも$$2n・2n/4=n^{2}$$のタイルが必要です.それらには合計$$5n^{2}$$の 溝があり,すべて埋める必要があります.一方,これらのスロットは$$2(n+4)×2(n+4)$$の正方形S 'の内側にあります(図8).したがって,$$2(n+5)2(n+5)$$個以下のセルからの突起で埋められます.したがって,突起の最大値は$$2(n+5)2(n+5)= 4n^{2} + 40 n +100$$です.n > 100の場合,不等式$$n^{2}>40n+100$$は確実に満たされ,$$5n^{2}>4n^{2}+ 40n+100$$,つまり,突起よりも多くの溝があります.矛盾-すべてのスロットを埋めることはできません.したがって、このタイルのHeesh数は有限です.実際には3に等しい(図9)が,これまでのところ,コンピューター検索によってのみ証明することができます.

 

 

 

 

 

 

 

 

 

 

 

 (図8)

フィギュアを研究するのに最も簡単なのは,ポリオミノ,ポリアマンド, ポリヘックスです.それらはまた,互いに隣接する同じ「セル」で構成されており,ポリアマンドではセルは通常の三角形で,ポリヘックスでは通常の六角形です.ポリオミノ,ポリアマンド,またはポリヘックスからタイリングするときは,「市松模様」の紙にレイアウトします(図1).このような紙なら,コンピュータ検索を整理するのは簡単です.これが,Casey Mannケーシー・マンがHeesh数3のポリアモンドを見つけた方法です(図10).

 

 

 

 

 

 

 

 

 

 

 

 


(図9)

また,ケーシー・マンはHeesh数が有限であるがゼロに等しくない,突起と溝を備えたいくつかの新しい一連のポリオミノとポリヘックスを何とか入手しました.これが,ケーシー・マンのポリヘックスで,5つの六角形(突起と溝付き)で構成されています-このHeesh数は5で(図11),今日人類に知られている最大の有限のHeesh数を持つタイルです.

(図10)

 

 

 

 

 

 

 

 

 

 

 

(図11)

 

 

 

 

 

ロジャー・ペンローズ

 

 

 

 

 

 

 

 

 

 

 

カバーの図は,「美しい幾何学」p.76-84,p84準結晶より引用

 
ロジャー・ペンローズは,ブラックホールの研究で2020年のノーベル物理学賞を受賞しました.

ここでは,ペンローズのタイリングと準結晶を話題にしましょう.
参考:Alexey Panov、Pyotr Panov "Kvantik" No. 9,2019,アーティストAnnaGorlach
No.7と No.8の記事は,すでに別項で取り上げましたので,そちらをご覧ください.

■ ロジャーペンローズの非周期モザイク

 

ロジャーペンローズ.
写真:Biswarup Ganguly,Wikimedia Commons; CC-BA-3.0

 

 

 

 

 

準結晶の発見に先んじて,数学者の準備はできていた.
1960年代に,数学者は新しいオブジェクト-非周期モザイク-を発見し,研究を始めました.
モザイクとは,平面を完全に埋め尽くすような多角形のタイルで作られたパターンのことです.
非周期モザイクは,どのような平行移動でも自分自身に重ね合わせできないものです.


非周期モザイクの中で最も有名なのはペンローズモザイクです.このようなモザイクの断片を図22に示します.
これは,いくつかのタイプのポリゴンを使い特定のルールに従って組み立て,平面全体を埋め尽くします.
これは,宇宙の調和に掲載されたケプラーによる絵(図23)とよく比較され ます.
ペンローズ自身は,「彼は私がやったことに近いことをしようとしましたが,うまくいかなかった」と述べています.
*)ケプラーのトリアコンタヘドロンは,現代の結晶学のシンボルの1つです.

 

 

図:22(左)ペンローズモザイクの断片.

図:23. 宇宙の調和から.

 

 

 

 

 

 

 

別のタイプの非周期なペンローズタイリングについてもう少し詳述します.
それらは2種類の菱形で構成されています(鋭角36°の 痩せたものと鋭角72°の太いものです).
そのうちの1つを図24に示します.もちろん,前号の記事の図18ほど対称的ではありません.
並進で自分自身と重ね合わせができず,回転対称軸もありません
[訳注:局所的な回転対称はありますが,全域的な回転対称はありません].
ただし,繰り返し五角形の星が表示され,72°= 360°/ 5回転するとそれぞれが重なります
[訳注:局所的な5回回転対称],さらに,これらの星は2つのクラスに分けられ(図25),
一方のクラスの星は別のクラスの星と36°= 360°/ 10の回転だけ異なります.

 

 

 

図:24. 鋭角36°および72°の菱形のモザイク

 

 

 

 

 

 

 

 

有限数の平行四辺形からなる各領域は,モザイク内で無限に繰り返し,36°回転したものも無限に繰り返します.

 

 

図:25. 異なる色の星は36°回転だけ異なります

 

 

 

 

 

 

 

 

 

ここで,ペンローズモザイクの物理的特性について少し説明します.
■ アラン・マッケイ:モザイクの回折

 

アランマッケイ.
写真:Julyan-cartwright、Wikimedia Commons; CC-BY-SA-3.0

 

 

 

 

 

 

 

 

 

Alan McKayは,標準的物理実験手法を非標準的数学オブジェクトであるペンローズモザイクに適用することを提案しました.モザイクの各頂点を小さな円[ドット]に置き換えたドットパターンを縮小し,ドット間の距離が光の波長程度にしました.このミニチュアにレーザー光を入射し,シェヒトマンの実験のように,回折パターンは10回対称となることを得ました*).マッケイの論文は,シェヒトマンが最初の実験を行った同じ1982年に発表されました.
シェヒトマンがマッケイのこの仕事について知っていれば,彼はそれを参照し,彼の業績の早期承認が得られたところですが,シェヒトマンは当時マッケイの発見に気付いていなかったと言います.
[*)訳注:このような標準的物理実験は,オプティカルトランスフォームといいます.
縮小されたドットパターンがらの回折像が得られます.
ドットパターンと回折像の関係は,互いに2次元のFourier変換の関係にありますが,
厳密に言うと得られる回折像は位相の情報が打ち消された振幅の絶対値2乗になります.
そのため,回折像の対称性には必ず対称心が生じます.
回折像の対称性は5回対称ではなく10回対称になります.]

■ トリアコンタヘドロン(菱形30面体)とヘキサコンタヘドロン(星型60面体)

 

ロジャーペンローズとロバートアンマン. 
写真:Ludwig Danzer; MarjorieSenechalの記事「アンマンの奇跡」より

 

 

 

 

ペンローズの非周期タイリングの3次元アナロジーがあります.
そのようなモザイクの1つが,RobertAmmannによって発見されました.
これらは,前号の記事の図16の下部に示されているものとまったく同じ,
細長い平らな2種類の菱形の平行線から組み立てられています.
五角形の星が2次元のペンローズモザイクでよく見られるのと同じように(図24および25),
菱形30面体(トリアコンタヘドロン)は,アンマンの非周期空間モザイクや,60面の菱形の六面体でよく見られます.
星型60面体(ヘキサコンタヘドロン)は,菱形の多面体のリストにはありませんが,これは12個の凹所がある非凸多面体であるためです(図26).

 

図:26. 黄金比菱形[訳注:対角線比が]から組み立てられた星型60面体(ヘキサコンタヘドロン)

 

 

 

 

 

 

その後,物理学者は菱形30面体(トリアコンタヘドロン)と星型60面体(ヘキサコンタヘドロン)の形で実際の準結晶構造を作ることができました.

最後に,ヘキサコンタヘドロンとペンローズのモザイクに関するいくつかの演習を行います.
• 60個の黄金比菱形を使用してヘキサコンタヘドロンを作りましょう.また,トリアコンタヘドロンと菱形のフェドロフイコサヘドロンの両方が,このヘキサコンタヘドロンの12個のキャビティすべてにきちんと収まっていることを確認してください.
• トリアコンタヘドロンとヘキサコンタヘドロンがアンマンのモザイクによく見られるという事実について話しました.実際,ヘキサコンタヘドロンは20個の細長い平行6面体で構成でき,トリアコンタヘドロンは10個の細長い平行6面体と10個の扁平平行6面体で構成できることを確認してください.
• ペンローズタイリングの十分に大きな部分では,痩せた菱形の数に対する太い菱形の数の比が黄金比φ= 1.618に近いことが証明されています.
図24を使用して,このステートメントを確認しましょう.
• ペンローズモザイクは,他のすべての多面体と同様に,菱形で構成されているためゾーン[訳注:晶帯]もあります.今回のゾーンは,無限に続く菱形のチェーンです.各菱形は、共通の側に隣接する2つがあり,これらの側は平行です.

 

 

 

 

科学と社会に関する異端の考え(3)

■以下で紹介するフリーマンの第3の異端に関しては,私は異なる見方をします.私の視点もここで簡単に述べておきます.

 

 

 

 

 

 

 

 

 

 

フリーマンの言うように,コンピュータが研究所に設置さる大型機械から,各家庭で子供も使う家畜化になったと同様な足跡をたどり,バイオテクノロジーは,モンサントなどのグローバル企業の独占ではなく,ユーザーフレンドリーな道具として生活に浸透し家畜化しするというバラ色の未来に,私はあえて異は唱えません.
しかし,そのような世界になる前に,人類が破滅に向かう多くの岐路があり,これらを正しく乗り越えてバラ色の未来に向かえるか私は懸念します.日本の食糧自給率は低下の一途です.TPP協定に合意し,主要農作物種子法(種子法)の「廃止法」が2017年4月に成立,2018年3月末に廃止されました.地域に適した優良種子は地元の地で長期間の品種改良で得た人類の宝です.しかし.グローバル企業に種子を握られ,肥料も農薬もセットで生産性優先の産業農法の道を進むことになります.これとバイオテクノロジーが手を結んでいるのが現状です.自然農法を守ろうとする良心的な農家も存続が難しく,グローバル企業による遺伝子組換え(GM)種子,F1種子などが支配する産業としての農業は誰のためにもならないはずです.


■バイオテクノロジーの家畜化
フリーマンダイソンの講演の続き
https://elementy.ru/video/20/Ereticheskie_mysli_o_nauke_i_obshchestve?
3番目の異端はバイオテクノロジーの家畜化です。

50年前、プリンストンで、数学者のジョン・フォン・ノイマンは、エンコードされた命令、つまりコンピューター・プログラムを実行する最初のコンピューターを私の目の前で開発構築しました。コンピューターはフォンノイマンによって発明されたのではありませんが、コンピュータープログラムを発明したのは彼でした。ENIACと呼ばれるこのコンピューターは、5年前にペンシルベニア大学ですでに稼働していました。しかし、パンチカードに書かれたソフトウェアと電子ハードウェアの組み合わせにより、1台のマシンで天気を予測し、生物集団の進化をシミュレートし、熱核爆弾を作成する可能性をテストすることができました。フォンノイマンは、彼の発明が世界を変えることを理解していました。彼は、そのような機械の次世代が科学、ビジネス、政府の仕事の基礎になることを理解していました。しかし、コンピューターは常に巨大で高価になるのが彼には見えました。彼は、コンピューターが研究所や大企業を運営する大規模なセンターに設置されると想像しました。彼は、コンピューターが非常に小型で安価になり、主婦がコンピューターを使用して所得税申告書を計算し、学童がコンピューターで宿題をすることになるとは予測できませんでした。彼は、コンピューターが最終的に3歳児向けのおもちゃになるまで飼いならされ家畜化するとは予見できませんでした。彼は、21世紀にコンピューターゲームが日常生活の基盤の1つになることを予見することすらできませんでした。コンピュータゲームのおかげで、私たちの孫は今、不治のコンピュータ中毒を持つ人々として成長しています。
良かれ悪しかれ、健康か不健康かにかかわらず、人とコンピュータは今では夫と妻よりも強く結ばれ、死がそれらを分かつ時まで強く結ばれています。

 

 

 

 

 

  

フリーマンダイソン. 2009年3月23日,モスクワ,FIAN

 

 

 

この話は、フォンノイマンコンピュータとコンピュータゲームのバイオテクノロジーへの進化と何の関係があるでしょうか? 次のとおりです。
特別なセンターに設置された巨大機械としてのコンピュータのフォン・ノイマンの見方は、モンサントのような大規模な製薬会社や農業会社専用の職業としての遺伝子工学の一般的な認識と共通しています。
モンサントはコンピューターを使って水素爆弾を開発したため、フォンノイマンの活動を警戒するのと同じように、モンサントは有毒な農薬遺伝子を食用作物に導入しているため、一般の人々はモンサントを警戒しています。
遺伝子工学が大企業が所有する特別なセンターの特権であり続ける限り、それは不人気で議論の余地のある活動形態であり続けるだろう。


しかし、私は、コンピュータ業界の足跡をたどるバイオテクノロジー産業の偉大な未来を予見します。巨大機械が家庭に入ったように。この方向への最初のステップは、ペットショップで遺伝子組み換え熱帯魚が、新しく非常に明るい色になったのを見ました。バイオテクノロジーの国内化に向けた次のステップは、それがユーザーフレンドリーになるときです。私は最近、世界中の生産者が彼らの労働の成果を披露する世界最大のショーであるフィラデルフィアフラワーショーである幸運な日を過ごしました。サンディエゴ爬虫類ショーにも参加しました。爬虫類を繁殖させる人。フィラデルフィアには最高級のバラと蘭があり、サンディエゴには最高級のトカゲとヘビがいます。孫を爬虫類展に連れて行く祖父母にとって、主な問題はヘビやトカゲを買わずにそこから抜け出すことです。これらすべてのバラと蘭、そしてこれらすべてのトカゲとヘビは、情熱的で経験豊富な花と爬虫類の栽培者の努力の成果です。プロとアマチュアの両方の何千人もの人々が、このビジネスや他のビジネスに人生を捧げています。しかし、これらの人々が遺伝子工学的手法を利用できるようになるとどうなるか想像してみてください。庭師のためのDIYキットがあり、遺伝子工学によって新しい種類の蘭やバラを開発します。鳩の飼育者、オウムの飼育者、トカゲやヘビのためのキットもあり、新しい品種を育てることができます。

遺伝子工学は、それが子供や主婦の手に渡ると、新しい生物の多様性に巨大な急増をもたらし、大企業によって植え込まれた単一文化に終止符を打つでしょう。新しい品種が普及し、単文化農業と工業化の欠陥のために消えたものに取って代わります。ゲノムの作成は、絵画や彫刻のように創造的な、個人的な事柄、新しい芸術形態になります。傑作となる新しい作品はほとんどありませんが、それらはすべてクリエイターに喜びをもたらし、私たちの動植物の多様性を高めます。

バイオテクノロジーの家畜化の最終段階は、幼稚園の年齢までの子供のためのコンピュータゲームと同様にバイオテクノロジーゲームの作成ですが、コンピュータ画面上の画像の代わりに子供たちが本物の種子や卵で遊ぶという点で異なります。これらのゲームをプレイすると、子供たちは生物の成長が何であるかを深く感じるでしょう。勝者は、種子が最も傷ついたサボテンを成長させるか、卵のハッチからかわいい恐竜を育てる子供かもしれません。このようなゲームでは、多くの困難と可能な危険に関連付けられます。私たちは、子供たちが遊ぶときに自分自身や他の人を危険にさらさないように、厳格なルールを開発する必要があります。

 

 

 

 

 

 

 

 

フリーマンダイソン. 2009年3月23日,モスクワ,FIAN

 

 

将来、家畜化バイオテクノロジーの普及を待っているなら、この点で5つの質問に答える必要があります。まず、この流入を止めることができますか?
第二に、それは停止する必要がありますか?第三に、それを止めることができない、または望ましくない場合、社会はそれをどのように制限すべきでしょうか?第四に、このような制限をどのように正確に交渉するのでしょうか?
第五に、彼らは国家レベルまたは国際レベルで実施されていますか?
コンピュータ技術とバイオテクノロジーのたとえは、これらすべての質問に対する答えを深く考えるのに役立つかもしれません。家畜化バイオテクノロジーを不正に使用するほとんどの人は、おそらくインターネット上にコンピュータウイルスを広める若いハッカーのように、ささいなものになるでしょう。一方、コンピュータウイルスとインフルエンザウイルスや免疫不全ウイルスなどの実ウイルスとの間には有意な差がある。子供たちにバラやヘビと遊ぶことを許可したとしても、ウイルスとのゲームをどのように防ぐかという問題に直面します。

これが私がバイオテクノロジーについて言いたかったことです。