絵の対数を取るとはどういうことか
概要
エッシャーの1956年のリトグラフ プリントギャラリーを題材に、絵が自分自身を含む自己言及構造と中央の穴の謎を数学で読み解く。自己言及は ドロステ効果で、エッシャーはズームを歪んだグリッドに変換し視線が一周するとループする仕掛けを作った。グリッドが小正方形を正方形のまま保つ性質は 等角写像で、複素関数の特徴に当たる。e^z と 自然対数を使い「絵の対数を取る」と、ドロステ効果が縦横二重周期のパターンになり、log→回転・拡大縮小→exp の3段でエッシャー風の絵を再現できる。最後は 楕円関数と現代数論への接続を示す。
要点
- 題材は エッシャーの1956年のリトグラフ プリントギャラリー。絵の中に自分自身が現れ、中央に謎の穴がある
- 絵が自分を含む自己言及は ドロステ効果。エッシャーは256倍ズームを使った
- エッシャーの制作法は、ズームを歪んだグリッド(メッシュワープ)に変換して視線が一周するとループになる仕掛け
- グリッドは小さな正方形を正方形のまま保つ。この性質が 等角写像で、複素関数の特徴
- e^z は縦線を円に、自然対数は円を直線に変換する。「絵の対数を取る」とドロステ効果が二重周期パターンになる
- 「log → 回転と拡大縮小 → exp」の3段でドロステ効果を1枚のループ絵に変換できる。二重周期は 楕円関数につながる
構造化サマリ
プリントギャラリーという作品
エッシャーが1956年に制作した プリントギャラリーを紹介する。画廊で船の絵を見る男が、視線を一周させると絵の中に自分自身として現れる自己言及構造を持つ。エッシャー自身が「最も奇妙な作品」と呼んだ。中央の白い円(穴)に「自分はこの絵のどこにいるのか」という曖昧さが凝縮する。拡散モデルに穴を埋めさせても失敗する。2003年にデ・スミットとレンストラが数学的解析を発表し、本動画はそれを視覚化する。
ドロステ効果とメッシュワープ
自己言及をまっすぐ伸ばすと、絵の中に絵が無限に続く ドロステ効果になる(名はココア会社の広告に由来)。エッシャーは元の256倍までズームした。彼の独創は、このズームを歪んだグリッドに変換し、視線が円を描くとズーム効果が起きるようにした点。歪んだグリッド(メッシュワープ)に元絵の小正方形を移すと、ループする絵が半ば自動的に得られる。
等角写像と複素数
エッシャーのグリッドでは小さな正方形が正方形のまま保たれる。角度を保つこの性質を持つ写像を 等角写像と呼び、複素関数で頻出する。複素数の掛け算は拡大縮小と回転の組み合わせで、形を保存する。z² のような関数は全体としては形を歪めるが、小さなスケールでは正方形が正方形のまま——これは関数が導関数を持つ(微分可能)ことから来る。
絵の対数と二重周期
e^z は縦線を円に変換し、虚部を 2π 増やすと1回転する周期的な多対1写像。その逆である 自然対数は円を直線に戻す多価関数。ドロステ効果の絵に log を適用すると、縦横2方向に周期的なパターンが得られる。これが「絵の対数を取る」の意味。エッシャー風の絵は「log → 適切な回転と拡大縮小(定数倍)→ exp」の3段で作れ、本物の256倍ズームも同手順で再現できる。縦横2方向に周期的な複素関数は 楕円関数と呼ばれ、解析者デ・スミットらが研究する現代数論で重要。画家と数学者が同じ深い構造に異なる理由で惹かれた、と結ぶ。
登場エンティティ・コンセプト
- mc-escher — 作品の制作者。オランダの版画家
- escher-print-gallery — 本動画の主題となる1956年のリトグラフ
- 3blue1brown — 数学を視覚化するチャンネル。本動画の制作元(日本語版はUフォリウム訳)
- droste-effect — 絵が自分自身を含む自己言及的な入れ子構造
- conformal-map — 局所的に角度・形を保つ写像(等角写像)
- complex-logarithm — 円を直線に変換する複素対数。指数関数の逆
- elliptic-function — 縦横2方向に周期的な複素関数。現代数論で重要
解析の発表者デ・スミット(de Smit)とレンストラ(Lenstra)は数論研究者。人物像が薄いため
.review-queue.mdに entity 化候補として記録。日本語版翻訳は「Uフォリウム」。