2022-02-02

県美、旧居留地、とんぼ玉ミュージアム(1/30)

神戸ミュージアム

日曜日は兵庫県立美術館の常設展が無料でした。企画展の古代エジプト展は有料ですが、見ようと思っていたので行ってきました。

県美

屋上から垂れ下がっているのは「美かえる」。風船のように空気で膨らませるのですが、この日はしぼんでいました。

CTスキャンでミイラの中身が分かってきた、というのが近年の成果のようです。

ライデン国立古代博物館所蔵古代エジプト展に合わせたカフェのメニュー。コシャリというエジプト料理。それとシナモンコーヒーとアップルタルトのライデンセット。コシャリは癖もなく普通な感じで食べやすかったです。

ヤノベケンジ氏のアート作品。手のひらの上に太陽を乗せた大きな少女の像。 — なぎさ

いつもと違うアングルからなぎさを撮ってみました。

生田川沿いには布引の滝を詠んだ歌の碑が点在しています。昔、全部見てまわったことがあります。個人的には36番の歌がお気に入りです。

たちかへり生田の森の幾度も

見るとも飽かし布引の滝

「いくた」の音の繰り返しが心地良いし、布引の滝は何度見ても飽きない、というのはこの界隈のハイカーなら誰しも思うことでしょうから。

旧居留地

そのまま歩いて旧居留地のY's Roadへ。最近ここに移転したことを失念していて、元町まで行ってから戻る羽目になりました。

自転車の鍵は既に二つあるのですが、長めのチェーンロックが欲しかったので追加購入しました。これでこの日のミッションはコンプリートしたので、あとはブラブラしていました。

ショーウィンドウに甲冑を着けて馬に乗った人の像がディスプレイされている。 — ココマイスターのお店

とんぼ玉ミュージアム

そろそろ帰ろうかと思って歩いていたら、とんぼ玉ミュージアムでアートマーブルの企画展をやっているのを発見。これは見ないわけにはいきません。

f:id:the_maya_hiker:20220201234050j:plain

f:id:the_maya_hiker:20220201234132j:plain

f:id:the_maya_hiker:20220201234215j:plain

f:id:the_maya_hiker:20220201234244j:plain

f:id:the_maya_hiker:20220201234313j:plain

f:id:the_maya_hiker:20220201234343j:plain

f:id:the_maya_hiker:20220201234409j:plain

f:id:the_maya_hiker:20220201234430j:plain

企画展のみ撮影可です。常設展にも素晴らしい作品があるのですが、残念ながらそちらは撮影不可。以前は撮影可だったと思うのですが。とはいえ、この美しさを写真に残すのは不可能なので、実物を目で見た方が良いのでしょう。偶然、とんぼ玉ミュージアムの前を通って、この企画展を見られたのは幸運でした。

2022-01-30

解析概論の無理数論を読む（その1）

数学

数学を勉強し直したいとずっと思っていて，代数学の本を少しずつ読み進めているのですが，解析学も少しだけ並行してやっていくことにします．解析学はだいたい実数の定義から始まると思いますが，実数を厳密に定義している解析学の本は高木貞治『定本解析概論』（isbn:9784000052092）しか持っていません．というわけで，この本の附録I 無理数論を読んでいきます（まず実数を定義したいので1章の前に附録Iを読む）．大学1〜2年の内容だと思うので，高校生でも読める内容だと思います．

本の記述を全て検証し，行間は全て埋めていくつもりですが間違いも多々あると思います．この記事に間違いを見つけたら是非教えて下さい．また，もっと良い証明がある，などのコメントもいただけるとありがたいです．よろしくお願いします．

さて，では読んでいきましょう．

無理数論の前置き部分

有理数の四則および大小の関係（順序）は既知として，有理数から無理数への橋渡しをするのである

と書いてあります．実数を定義するためには，大前提として有理数が定義されていないといけません．ですが解析概論では有理数は既に定義されているものとしていますし，この記事でも有理数は既に定義されているものとします．めちゃくちゃ大雑把に言うと，

減算ができるように自然数を拡張することで整数が定義される
0以外で除算ができるように整数を拡張することで有理数が定義される

という感じです．有理数から実数を定義するのは，整数や有理数を定義するのとは全く別種の拡張をしないといけないので難しいですね．

数直線上の有理数の隙間を埋めたものが実数，というのが素朴なイメージです．実際， $\sqrt{2}$ のような無理数，つまり有理数でない数があることは古代から知られていたでしょうし，有理数に隙間があるのは確かです．ではどうやってその隙間を埋めるのかという議論になるわけですが，その前に有理数が（隙間はあれど）数直線上にぎっしり詰まっていること（稠密性）が述べられています．

有理数の稠密性が大切である．すなわち $a, b$ が相異なる有理数で， $a \lt b$ ならば， $a \lt x \lt b$ なる有理数 $x$ が必ず，従って無数に，存在するのである．例えば $m = \frac{a + b}{2}$ ，従ってまた $\frac{a + m}{2}, \frac{m + b}{2}$ 等々が， $a, b$ の中間にある．

$m$ は $a, b$ を端点とする線分の中点ですね．そして $a$ や $b$ と $m$ との中点というようにどんどん中点を取ることができます．これらの点は全て $a$ と $b$ の間にあります．

一応ちゃんと書いておくと， $a \lt b$ の両辺に $a$ を足すと $2a \lt a + b$ が得られ，その両辺を $2$ で割ると $a \lt m$ が得られます．同様に $a \lt b$ の両辺に $b$ を足して $2$ で割ると $m \lt b$ が得られます．これらを合わせて書くと $a \lt m \lt b$ となりますね． $a, b$ は任意にとることができるので， $b$ の代わりに今求めた $m$ を入れてやれば $a \lt \frac{a + m}{2} \lt m$ となるし， $a$ の代わりに $m$ を入れてやれば $m \lt \frac{m + b}{2} \lt b$ となります．

それにしても，実数の概念がない（未定義）状態で有理数の稠密性と言われると違和感があります．有理数全体 $\mathbb{Q}$ にどのような位相を入れようが， $\mathbb{Q}$ は $\mathbb{Q}$ の中で稠密ですよね．有理数の稠密性は普通，（ $\mathbb{Q}$ も $\mathbb{R}$ も通常の位相で考えて） $\mathbb{Q}$ が $\mathbb{R}$ の中で稠密であることを意味しているはずです．なので，実数の概念を定義する前に有理数の稠密性を論じるのは（稠密性という表現が出てくるのは）変な気がします．

これについてはよく分かりませんが，読み進めるのに支障はないので深く考えないことにします．

その2に続く．
the-maya-hiker.hatenablog.com

2022-01-29

小浜宿と摂津国名所大絵図

先日、宝塚市立小浜宿資料館に行ってきました。小浜の地理がなかなか面白かったのでごく簡単にまとめてみました。

宝塚市立小浜資料館を外から撮った写真。右手に蔵のような建物がある。 — 宝塚市立小浜資料館

戦国時代の小浜

小浜は真宗本願寺派のお寺、毫攝寺（ごうしょうじ）の寺内町として開かれたようです。毫攝寺はもともと京都にあったのですが戦国時代にこの地へ移されました。当時の本願寺は武装勢力として戦国大名に対抗していたわけですが、そのためにこの辺りの地形をうまく利用していたのですね。小浜は北・西・南は大堀川、東は溜池と土塁に囲まれた天然の城塞なのです。

この写真は小浜のジオラマを北側から撮ったものです。手前（北側）は分かりにくいですが、三方を川に囲まれ、東側に溜池があるのが分かります。

江戸時代の小浜

江戸時代に小浜は宿場町として栄えました。この地は有馬街道、西宮街道、京伏見街道が交わる交通の要衝だったのですね。しかも少し北には中山寺を含む西国三十三所の巡礼街道が通っています。小浜は西国各藩の参勤交代の通り道でもあったので、大いに賑わったそうです。

小浜が大きな宿場町であったことは摂津国名所大絵図からも見てとれます。

摂津国名所大絵図は神戸大学附属図書館デジタルアーカイブで閲覧できます。

（URL: http://www.lib.kobe-u.ac.jp/directory/kobemap/htmls/lime/ezu_01.html）

摂津国名所大絵図

摂津国名所大絵図は古い地図ですが、阪神間の人には馴染みのある地名がたくさんあるので分かりやすくて面白いと思います。ど真ん中にある伊丹（文字が南から北の方向に書いてあります）が目印になります。小浜（小濱町と書いてあります）は伊丹の北西にあります（北が左なので右90度回転した方が見やすいです）。また近くの大きな町としては池田があります。

伊丹のそばに荒木摂津守古城があります。これはJR伊丹駅のそばにある有岡城跡のことですね。荒木摂津守古城は神戸にもあります。絵図では生田川の河口を目印にして、少し西を探せば見つかります。これは花隈城のことですね。

生田川を辿っていくと布引の滝があります。その西に松永久秀古城（城山にある瀧山城跡のこと？）を挟んで再度山大龍寺があります。布引の滝の北東に摩耶山天上寺があり、その東に天狗岩があります。摩耶山、再度山周辺のハイカーにはお馴染みですね。

絵図に大きく武庫郡と書いてあるところの西側に六甲山、武庫山、石宝殿があります。六甲山と武庫山はこの絵図では違う山なのですね。そしてどちらも、石宝殿との位置関係が正しいとすると、六甲最高峰とは違うことになります。もっとも、昔の絵図なのでどれほど忠実な地図なのか分かりませんが。

生田川の隣の大石川（都賀川）河口のすぐ西に求女塚、大石川と石屋川の間に求塚（と書いてありますが実際は処女塚）、石屋川の隣の住吉川河口のすぐ西に求塚があります。処女塚は前回の記事で少し触れた古墳で、両隣の求女塚古墳とともに菟原処女（うないおとめ）の伝説が残っています。

the-maya-hiker.hatenablog.com

菟原処女は芦屋にいた女性で、その女性を巡って二人の男が争ったという伝説です。その女性は争いに心を痛めて自ら命を絶ち、二人の男もその後を追ったそうです。処女塚古墳が菟原処女の墓で、その両隣の求女塚古墳が二人の男の墓と言われています。2つの求女塚古墳は公園になっています。

ところで、菟原処女の菟原は「うない」と読みますが、絵図に大きく書いてある菟原郡の菟原は「うはら」と読みます。菟原郡は今はもう無いのですが、JR住吉駅のそばにある「うはらホール」や、「恋野温泉うはらの湯」などに名前が残っています。菟原郡は芦屋も含む、まあまあ広い地域だったようですね。芦屋にもいろいろ面白いものがありますが、記事がダラダラ長くなってきたのでこの辺りで終わりにしようと思います。

2022-01-23

滝の音は・・・

温泉神戸

ブログ更新するする詐欺状態だったので、いい加減本当に更新しようかと。読みやすいように文章を推敲したり構成を考えたりしていると手間が掛かるので、結局更新しなくなってしまうんですよね。というわけで、これからは文章が変だろうがなんだろうが、気にせず気楽に書いてみようと思います。

前置きはこのくらいにしておいて、本題。今更すぎてアレなんですが、去年の10/24に神戸市垂水区にある温泉に行った時のことを、正月に参拝した敏馬神社と絡めて書こうと思います。

滝の茶屋

出発地点は山陽電車の滝の茶屋駅。海が見える駅として、大層人気があるようです。

昔、この辺りに滝と茶屋があったのが地名の由来のようですね。垂水も滝のことを意味しています。この記事のタイトルはご存知、百人一首からとったものです。

滝の音は

絶えて久しく

なりぬれど

名こそ流れて

なほ聞こえけれ

かつての滝と茶屋が無くなっても人気があるこの駅にピッタリの歌ですね。

月の湯舟

滝の茶屋から約2km北に行ったジェームズ山というところに月の湯舟という天然温泉があります。

駅から離れているのであえて行くようなところでもないですが、月の湯舟という名前が風流だったので短歌を一首詠んで、10/24にツイートしました。

玉藻刈る
苅藻を過ぎて
滝の茶屋
野島背にして
月の湯舟へ

この歌の解説も同日にツイートしています。

神戸っ子以外には意味不明だと思われるので、少しだけ説明を。
苅藻は神戸市営地下鉄・海岸線の駅名にもなっている地名です。
滝の茶屋は山陽電車の駅です。海が見えるフォトジェニックな駅として人気があるようです。
野島は神戸ではありませんが、淡路島北端、岩屋の西の地名です。

地下鉄海岸線に乗っていったわけではなく、「玉藻刈る」に掛けたシャレで苅藻を入れました。
とは言え、滝の茶屋に行く途中にある土地ですし、「玉藻刈る」は海沿いの地名に掛かる枕詞なので、間違ってはいません。

「野島背にして」は淡路島の逆方向、つまり山側に歩いて月の湯舟に向かったという意味です。
神戸っ子にとって、北＝山側、南＝海側なのです。

この短歌には他にも仕掛けがあるのですが、続きはwebで。(放置していたブログをそのうち更新するかも？)

短歌のタネ明かし

さて、それではこの短歌の解説の続きです。この短歌は万葉集にある（らしい）次の二首を本歌取りしたものなのです。

玉藻刈る

処女を過ぎて

夏草の

野島が崎に

廬りす我れは

玉藻刈る

敏馬を過ぎて

夏草の

野島の崎に

船近づきぬ

ツイートした解説のとおり、玉藻刈るは海沿いの地名に掛かる枕詞です。一首目の処女（おとめ）は菟原処女（うないおとめ）の伝説がある処女塚古墳の辺りのことです。菟原処女や処女塚古墳の話は機会があれば書くかもしれませんが、気になる人はググった方が早いでしょう。そして二首目の敏馬（みぬめ）は、王子公園から兵庫県立美術館に至るミュージアムロードと国道2号線との交差点の近くにある敏馬神社のことです。

敏馬神社

敏馬神社は神功皇后の新羅征伐からの帰りに美奴売の神を祀ったという、由緒ある神社で、毎年正月に参拝しています。昔はこの神社の側に海岸があったそうですが、昭和6年頃に埋め立てられたようです。きっと昔は風光明媚な場所だったのでしょう。上の歌以外にも万葉集には敏馬の浦を詠んだ歌がたくさんあります。

というわけで、締めくくりの一首。

久方の

雨の降る日に

書き記す

見る目はないと

知っているけど

※ 敏馬はみるめとも読みます

2019-09-23

9/16(月)の山歩き（山本〜最明寺滝〜宝塚ロックガーデン〜中山最高峰〜奥の院〜中山寺）

登山ハイキング温泉

9/16(月)は中山に登りました．　今回は山本からスタートして中山寺に下山するルートです．

登山口までの街歩き
登山口から最明寺滝
最明寺滝から宝塚ロックガーデン
宝塚ロックガーデンから三日月岩
三日月岩から中山最高峰
最高峰から奥の院
奥の院から夫婦岩
夫婦岩から中山寺
宝の湯
今回の山行の振り返り

登山口までの街歩き

阪急山本駅の近くに新池公園と，「あいあいパーク」という園芸センター(？)があります．　新池公園は広々としたお洒落な公園です．　とても雰囲気が良かったので，いつか散歩に行こうと思います．　あいあいパークの建物もお洒落でした．

公園内にあるキオスクです．駅の売店ではなく，本来の意味のキオスクです． — キオスク

山本駅の北側に巡礼街道の道標があります．　目指すのは最明寺滝ですが，左の木接太夫の碑というのも気になります．　いつか見に行こうと思います．

山本駅の北にある巡礼街道の道標です．左は木接太夫の碑で右は最明寺滝です． — 道標

駅前から少しだけ東に歩いて，貝尻池広場の前を進んで行きます．

道標に従って道なりに歩いていきます．　特に迷う所はありません．

消火栓の標識です．この標識にも最明寺滝を示す道標が付いています． — 消火栓の標識

雲一つ無い青空．　清々しいお天気ですが，暑いですね．

登山口にある宝教寺のお地蔵さんに，無事に登山を終えられるようお願いしてから入山しました．　帽子を被ったお洒落なお地蔵さんですね．

宝教寺の入口の朱塗りの橋です．橋の上には提灯が掛かっています． — 宝教寺の入口の橋

登山口から最明寺滝

山に入ると木々のお陰で涼しいです．　正に「お陰」ですね．

写真を撮り忘れましたが，辰巳橋を渡った辺りで３方向に分岐しています．　右の道が最明寺滝に向かう道です．　正面の石段の登り道と，左の道は宝塚ロックガーデン方面に向かう道で，直ぐに合流します．

最明寺滝の所は行き止まりですが，立派な滝なのでスルーするのは勿体無いです．　滝を見てから，引き返してロックガーデンに向かいましょう．

滝の手前の景色です．大きな岩が祀られています．右側の崖からは岩がせり出しています． — 滝の手前

最明寺滝から宝塚ロックガーデン

堰堤を巻いていきます．　こんな感じで水を吐いているフグがいたような・・・

堰堤を斜め前から撮った写真です．丸い水抜き穴が３つあって，顔のように見えます．口の位置の穴から水が流れています． — 堰堤

満願寺方面への分岐を左に進んで，踏み抜いてしまいそうな木橋を越えて宝塚ロックガーデンへ．

分岐の写真です．右が満願寺方面で，左が目指しているロックガーデン方面です． — 分岐

岩の写真です．岩に宝塚ロックガーデンとペイントされています． — 宝塚ロックガーデン

ここから岩登りが始まります．　日差しを遮るものが無いのでめちゃくちゃ暑かったですが，少し登っただけでも良い眺めです．　遠くに見える丸い山は甲山でしょうか．

宝塚ロックガーデンから三日月岩

馬蹄形の中山連山に囲まれた所の東側，山手台東の辺りが見えます．　住宅地より手前側の拓けたところで工事をしているようですが，悪名高い太陽光パネルでも設置しようとしているのでしょうか？

しばらく進むと，真新しい紅白の鉄塔がありました．

お天気続きで地面は乾いていましたが，ヌタ場がありました．

三角点を通り過ぎてさらに進みます．

三日月岩はとても眺めが良いですね．　ところで，なぜ三日月岩という名前なのでしょうか？　それと，木に引っ掛かっているサンタクロースの帽子も気になります．

三日月岩からの景色です．掠れた字で三日月岩と書いてあります．木の先に帽子が引っ掛かっています． — 三日月岩からの景色

三日月岩から中山最高峰

三日月岩から直ぐのところに三角点があります．　その少し先に五月台方面への分岐があったようですが，封鎖されていました．　崩落したのか廃道になったのか，詳しいことは分かりません．　柵の鉄パイプに書いてあることからすると，長尾山トンネルの工事用の道だったのかもしれませんね．

普通に進んで行けば中山最高峰ですが，最高峰は少し道から外れているので，やや分かりにくいですね．　途中すれ違った人に，中山がどっちにあるのか聞かれました．　その人は残念なことに，中山最高峰をスルーしてしまったみたいです．

最高峰には三角点があり，北側に展望が開けています．　北摂の山々が見渡せます．

ちょうどお昼時だったので，ここで昼食にしました．　他のハイカー達もここでお昼ごはんを食べていました．　以前買った，スノーピークと日清のコラボ商品のチキンラーメンクッカーでチキンラーメンを作りました．　と言っても，お湯を入れただけですが．（三角点の上に置いてゴメンナサイ）

チキンラーメンのクッカーでチキンラーメンを作っているところです． — チキンラーメン

汁物は後の処理が面倒なんですよね・・・と思っていたのですが，美味しくてスープも飲み干してしまいました．

最高峰から奥の院

最高峰から奥の院までは道標や分岐が沢山あります．

途中，赤土が目立つところがあります．　こういうのを赤埴と言うのでしょうか？　鉄分の含有量が多いのでしょうか？

「ねずみさし」という面白い名前の木がありました．　名前の由来も書いてありますが，この葉っぱでねずみを刺すのですね．

前に来た時も不思議だったのですが，このケルンは何を表しているのでしょうか？

奥の院西園地への分岐の所で，奥の院方面（写真の奥側）に進みました．　多分もっと手前で奥の院に行く分岐があると思うので，このルートは大回りしていると思います．

奥の院に到着した時には，飲み物１リットルとチキンラーメンの500ミリリットルを消費していて，非常用の水600ミリリットルしか残っていませんでした．　山と高原地図に水場の記号が書いてあるのですが，煮沸しないと飲めないようだったので補給は断念しました．　一般の山では，六甲山系のように簡単には水分を補給できないので，注意が必要ですね．