「ガラパゴ数学」の版間の差分

提供: 数学を愛する会Wiki
ナビゲーションに移動 検索に移動
15行目: 15行目:
 
==座標系==
 
==座標系==
 
ガラパゴ数学において主として扱われる座標系は以下のルールをベースとする。
 
ガラパゴ数学において主として扱われる座標系は以下のルールをベースとする。
* 任意の点として表される座標を基準の座標(原点)とし、'''0''' と名付ける。
+
* 任意の点として表される座標を基準の座標(原点)とし、$$\mathrm{0}$$ と名付ける。
 
* 任意のテンソルとして表される大きさを基準の大きさとし、$$\mathrm{P}$$ と名付ける。
 
* 任意のテンソルとして表される大きさを基準の大きさとし、$$\mathrm{P}$$ と名付ける。
  
22行目: 22行目:
 
* $$\mathrm{P}$$ の大きさを '''1''' と名付ける。
 
* $$\mathrm{P}$$ の大きさを '''1''' と名付ける。
 
* $$\mathrm{P}$$ の指し示す方向を '''+''' と名付ける。
 
* $$\mathrm{P}$$ の指し示す方向を '''+''' と名付ける。
* '''0''' を基準として $$\mathrm{P}$$ の指し示す座標を '''+1''' と名付ける。
+
* $$\mathrm{0}$$ を基準として $$\mathrm{P}$$ の指し示す座標を '''+1''' と名付ける。
 
 混同の恐れがない限り、座標の +1 は単に 1 と略すことができる。
 
 混同の恐れがない限り、座標の +1 は単に 1 と略すことができる。
  
  
'''0''' や $$\mathrm{P}$$ は任意に定めることができるため、同一のオブジェクトに対して異なる複数の座標系を想定することができる。
+
$$\mathrm{0}$$ や $$\mathrm{P}$$ は任意に定めることができるため、同一のオブジェクトに対して異なる複数の座標系を想定することができる。
  
  
33行目: 33行目:
  
 
===加減算===
 
===加減算===
加減算は「基準の大きさ $$\mathrm{P}$$ が同一で 原点の座標 '''0''' の異なる座標系 A と B に対する演算」に該当し、主に'''加算'''と'''減算'''の二種類に分けられる。
+
加減算は「基準の大きさ $$\mathrm{P}$$ が同一で 原点の座標 $$\mathrm{0}$$ の異なる座標系 A と B に対する演算」に該当し、主に'''加算'''と'''減算'''の二種類に分けられる。
  
 
加算(足し算)
 
加算(足し算)
:A における 座標 a が B における 原点の座標 '''0''' のとき、B における 座標 b は A における 座標 a+b
+
:A における 座標 a が B における 原点の座標 $$\mathrm{0}$$ のとき、B における 座標 b は A における 座標 a+b
  
 
減算(引き算)
 
減算(引き算)
:A における 座標 a が B における 座標 b のとき、B における 原点の座標 '''0''' は A における 座標 a-b
+
:A における 座標 a が B における 座標 b のとき、B における 原点の座標 $$\mathrm{0}$$ は A における 座標 a-b
  
 
===乗除算===
 
===乗除算===
乗除算は「原点の座標 '''0''' が同一で 基準の大きさ $$\mathrm{P}$$ の異なる座標系 A と B に対する演算」に該当し、主に'''乗算'''と'''除算'''の二種類に分けられる。
+
乗除算は「原点の座標 $$\mathrm{0}$$ が同一で 基準の大きさ $$\mathrm{P}$$ の異なる座標系 A と B に対する演算」に該当し、主に'''乗算'''と'''除算'''の二種類に分けられる。
  
 
乗算(掛け算)
 
乗算(掛け算)

2020年1月18日 (土) 09:58時点における版

ガラパゴ数学(がらぱごすうがく、Galapagothmetic)とは、多様体型オブジェクト上の座標または座標によって示される大きさを数と捉える数学の考え方(視点)である。

はじめに

ガラパゴ数学は、創始者である みゆ が「数とはなにか」「演算とはなにか」という数学の根幹・本質を追求したことによって生み出された。扱う対象が数理である以上、そこから得られる結果が既存の数学と異なるわけではないが、ガラパゴ数学の特徴は独自の視点による見通しの良さにあり、幾何・線形代数・整数論・群論といった数学の各分野をシームレスにしている。

特定の学問分野にカテゴライズされるようなものではなく、数理を扱う上での考え方(視点)を得ることがガラパゴ数学の主題である。概念を伝達する便宜上、既存の数学表現や日常用語あるいは図示などを用いた翻訳によって説明されるが、数式や用語などを定義したり表現方法を定めたりすることは本来は範疇ではない。

ガラパゴ数学という名は、「隔離空間で独自に進化した数学」という意味で ガラパゴス(諸島)+ 数学 より命名された。英語表記の Galapagothmetic は Galapagoth + Arithmetic を語源とし、数学(mathematics)の中でもとりわけ数の概念や演算の論理的手続きを明らかにするという意味合いで算術(arithmetic)の語が用いられている。

ガラパゴ数学は既存の数学とは異なる思考体系を持つことに注意されたい。

多様体型オブジェクト上の座標または座標によって示される大きさを と呼ぶ。一般に多様体といえば「局所的にはユークリッド空間と見なせるような図形や位相空間」と表現されるが、ここでいう多様体型オブジェクトとは数直線や複素平面、線形空間のような多様体(の一部)とみなして扱うことができるオブジェクト(図形)の総称で、座標大きさ方向(姿勢) という概念を適用可能という特徴を持つ。このようなオブジェクトに対し一定のルールに従って座標をマッピングしたとき、そのルールと座標全体を総称して 座標系 と呼ぶ。

座標系

ガラパゴ数学において主として扱われる座標系は以下のルールをベースとする。

  • 任意の点として表される座標を基準の座標(原点)とし、$$\mathrm{0}$$ と名付ける。
  • 任意のテンソルとして表される大きさを基準の大きさとし、$$\mathrm{P}$$ と名付ける。


特に $$\mathrm{P}$$ の階数が1階であるとき

  • $$\mathrm{P}$$ の大きさを 1 と名付ける。
  • $$\mathrm{P}$$ の指し示す方向を + と名付ける。
  • $$\mathrm{0}$$ を基準として $$\mathrm{P}$$ の指し示す座標を +1 と名付ける。

 混同の恐れがない限り、座標の +1 は単に 1 と略すことができる。


$$\mathrm{0}$$ や $$\mathrm{P}$$ は任意に定めることができるため、同一のオブジェクトに対して異なる複数の座標系を想定することができる。


演算

同一の(または同一視可能な)多様体型オブジェクトに複数の座標系を想定したとき、異なる座標系同士の座標を相互に翻訳することを 演算 と呼ぶ。

加減算

加減算は「基準の大きさ $$\mathrm{P}$$ が同一で 原点の座標 $$\mathrm{0}$$ の異なる座標系 A と B に対する演算」に該当し、主に加算減算の二種類に分けられる。

加算(足し算)

A における 座標 a が B における 原点の座標 $$\mathrm{0}$$ のとき、B における 座標 b は A における 座標 a+b

減算(引き算)

A における 座標 a が B における 座標 b のとき、B における 原点の座標 $$\mathrm{0}$$ は A における 座標 a-b

乗除算

乗除算は「原点の座標 $$\mathrm{0}$$ が同一で 基準の大きさ $$\mathrm{P}$$ の異なる座標系 A と B に対する演算」に該当し、主に乗算除算の二種類に分けられる。

乗算(掛け算)

A における 大きさ a が B における 基準の大きさ $$\mathrm{P}$$ のとき、B における 大きさ b は A における 大きさ a×b

除算(割り算)

A における 大きさ a が B における 大きさ b のとき、B における 基準の大きさ $$\mathrm{P}$$ は A における 大きさ a÷b


加減算と乗除算を合わせて四則演算と呼ぶ。

既存の数学による説明

ガラパゴ数学における演算の概念を既存の数学用語で表現するならば、対称性を用いて図形を同一視する手法であると説明することができる。

例えば、加減算は直線の並進対称性である。「直線をどれだけ動かすか」を1つ指定しこれをaとすると、これは既存の数学では直線の持つ対称性の1つとなる。ガラパゴ数学では動かす前と後の直線を f(x)=a+x という関係性で同一視し、これを足し算とみなす。

関連項目