トーマス・カークマン (数学者)

トーマス・カークマン（英: Thomas Penyngton Kirkman、 (1806-03-31) 1806年3月31日 - 1895年2月3日(1895-02-03) ）は、イギリスの数学者、イングランド国教会教役者。本業は聖職者であったが、研究レベルの数学に関心を持ち続け、アレクサンダー・マクファーレン（英語版）によって、19世紀イギリス数学者の10の主導者に選ばれた。1840年代、彼はシュタイナーシステム（英語版）に関する存在定理を発見し、組み合わせデザイン（英語版）の分野を確立した。関連する問題には彼に因んでカークマンの女学生問題（英語版）の名がつけられている。 1806年3月31日、カークマンは地元の綿花販売業者の息子として、ボルトンに生まれた。ボルトンのグラマースクールでは、カークマンはクラシックを学び、数学は教えられなかった。学校内で一番の学者として認識され、地元の司祭にケンブリッジ大学の奨学金を保証された。しかし、カークマンの父は大学進学を認めず、14歳で学校を去り父の事務所で働くことになった。 9年後、カークマンは父に抗って、トリニティ・カレッジに入学し、自身の学業を支えるため家庭教師として働いた。カレッジには多くの科目があったが、彼は最初に数学を学び、1833年B.A.を取得した。1835年、イングランドに帰還した。 イングランドに帰ってすぐに、カークマンはイングランド国教会の聖職者を叙階され、ベリー、後にリム（英語版）の教区副牧師（英語版）になった。また1839年、ランカシャーに新設されたクロフト（英語版）の教区牧師（英語版）に招かれ、1892年の引退までの52年間滞在した。神学的に、カークマンは反直解主義者（英語版）の立場にあったジョン・コレンソ（英語版）を支援し、唯物論に強く反対した。彼は、神学に関する小冊子やパンフレットを多く出版した。例えば、1876年の書籍「Philosophy Without Assumptions」などがある。 1841年、カークマンはイライザ・ライト（Eliza Wright）と結婚し、7人の子供を設けた。子育てのために、イライザが家庭を守ることができる財産を相続するまで、カークマンは家庭教師の収入で費用を補った。牧師の職は、カークマンに多くを要求しなかったため、カークマンは数学に時間を充てることができた。 1895年2月4日、バウデン（英語版）で没した。妻イライザはその10日後に死去した。 カークマンの最初の出版物は、1846年の「Cambridge and Dublin Mathematical Journal」における、シュタイナーシステム（英語版）に関連した問題に関するものであった。シュタイナー（triple）システム[訳語疑問点]はこの2年前の雑誌The Lady's and Gentleman's Diary（英語版）でウェスリー・ウールハウス（英語版）が発表したものである。カークマンとウールハウスの功績があったのにもかかわらず、シュタイナー（triple）システムは1853年にこのシステムを研究したヤコブ・シュタイナーの名を冠している。カークマンの2つ目の研究論文は、pluquaternionsに関する研究であった。 1848年、カークマンは学生のための数学の記憶術の本「Kirkman published First Mnemonical Lessons」を出版したが、これは成功しなかった。オーガスタス・ド・モルガンはこの書籍を"the most curious crochet I ever saw"と評価している。 1849年、カークマンはパスカル線に関する研究を行った。6点に対して、六角形の定め方は60通り存在し、それぞれにパスカル線が存在する。パスカル線に関するシュタイナーの研究を拡張して、カークマンは60本のパスカル線が60個の点を成すことを発見した。これは現在カークマン点（Kirkman points）と呼ばれる。各パスカル線は3つのカークマン点を含み、各カークマン点は3本のパスカル線に含まれる。これら点と直線は603603の射影配置（英語版）を成している。 1850年、カークマンは、ウールハウスの問題に対して与えた解法が更なる性質を持っていることに気づき、雑誌「The Lady's and Gentleman's Diary」内でパズルとして公表した。 Fifteen young ladies in a school walk out three abreast for seven days in succession: it is required to arrange them daily, so that no two shall walk twice abreast. これは現在カークマンの女学生問題（英語版）として知られ、カークマンの最も有名な結果になった。彼はまた、組み合わせデザイン理論の作品を後年にいくつか発表している。 1848年、カークマンは「On Pluquaternions and Homoid Products of n Squares」を著作した。四元数と八元数の一般化に関する研究を行い、この数の体系をカークマンはpluquaternion Qaと呼んだ。Pluquaternionはa > 3個の虚数単位によってあらわされる数である。カークマンは、単位の三重積における2つの等式がa = 3の場合には系の決定に十分だが、a = 4の場合十分でないというアーサー・ケイリーの主張を確認することに専念した。1900年までには、これらの数は多元数と呼ばれ、後に結合多元環理論の一部として扱われることになった。 1853年から、カークマンは多面体に関する数え上げ数学の問題を研究した。最初はオイラーの多面体定理の証明と単純な多面体（各頂点に3つの辺が存在する多面体）の研究に専念した。その後、多面体のハミルトンサイクルを研究し、ウィリアム・ローワン・ハミルトンのIcosian game (Icosian game) の前に、ハルミトンサイクルを持たない多面体の例を作った。また、1世紀後のハリンの研究以前に、立方体ハリングラフ（英語版）を数え上げ（英語版）た。彼は、すべての多面体が、面と頂点を削る操作によって、ピラミッドから作成できることを証明し、双対多面体を研究した。 1858年からフランス科学アカデミーから提供されていた（受賞はされなかった）賞に奮起して、カークマンは群論の研究を始めた。この分野における彼の功績には、10以下の要素の集合の推移的群作用の数え上げがある。しかし、多面体の研究と同様に、カークマンの群論の研究は、新用語の発明の重圧などを理由に、後世に大きな影響を与える事はなかった。 1860年代初頭、カークマンは、論文の評価の低さと優先権を巡って、アーサー・ケイリーやジェームス・ジョセフ・シルベスターなどの数学の権威と仲違いした。後年の彼の数学の論文は （たいていは狂詩（英語版）で）「Educational Times」の問題欄や、「Proceedings of the Literary and Philosophical Society of Liverpool」の人目につかない欄で公開された。しかし1884年に結び目理論を本格的に研究し、ピーター・テイトとともに10つの交差を持つ結び目の数え上げの論文を発表した。引退した後もカークマンは数学を活発に学び、没するまで研究を続けた。 1857年、 pluquaternionsと分割に関する研究の功績で、カークマンは王立協会フェローに選出された。 また、マンチェスター哲学協会や、リヴァプール文学哲学協会の名誉会員、オランダ王立科学協会（英語版） の外国人会員などにも選ばれている。 1994年より、ICA (Institute of Combinatorics and its Applications) は、彼に因んだカークマンメダル（Kirkman medal）の受賞を毎年行っている。授与対象は、博士取得後4年以内に組み合わせの分野で際立った研究をした者である。 ^ a b c d e f g h i j k l m n o Biggs, N. L. (1981), “T. P. Kirkman, mathematician”, The Bulletin of the London Mathematical Society 13 (2): 97–120, doi:10.1112/blms/13.2.97, MR608093 . ^ a b c d e f g h i Macfarlane, Alexander (1916), Lectures on Ten British Mathematicians of the Nineteenth Century, New York: John Wiley & Sons, Inc., https://www.gutenberg.org/ebooks/9942 . ^ a b c d e f g h i j k l O'Connor, John J.; Robertson, Edmund F., “Thomas Kirkman”, MacTutor History of Mathematics archive, University of St Andrews, https://mathshistory.st-andrews.ac.uk/Biographies/Kirkman/ . ^ Tahta, Dick (2006), The Fifteen Schoolgirls, Black Apollo Press, ISBN 1-900355-48-5, http://germinalproductions.com/blackapollo/schoolgirls01.htm . ^ Cameron, Peter J. (2002), “Steiner triple systems”, Encyclopaedia of Design Theory, http://designtheory.org/library/encyc/sts/g/ . ^ London and Edinburgh Philosophical Magazine 1848, p 447 Google books link Archived 17 June 2014 at the Wayback Machine. ^ A. J. Crilly (2006) Arthur Cayley: Mathematician Laureate of the Victorian Era, Johns Hopkins University Press, p. 143 on Kirkman's collaboration with Cayley ^ Kirkman, Th. P. (1856), “On the enumeration of x-edra having triedral summits and an (x − 1)-gonal base”, Philosophical Transactions of the Royal Society of London: 399–411, doi:10.1098/rstl.1856.0018, JSTOR 108592, https://jstor.org/stable/108592 .