幾何学的バナッハ空間論（きかがくてきバナッハくうかんろん、 または ）とは、関数解析学における一分野であり、バナッハ空間のノルムや単位球（単位球体）の幾何学的構造（凸性、滑らかさ、曲率、対称性、幾何学的歪みなど）と、その空間上で成り立つ解析的・位相的性質（回帰性、不動点性質、作用素の有界性など）との相互関係を研究する学問領域である。
20世紀前半のステファン・バナッハによる基礎づけに始まり、1930年代のハンス・クラークソンによる一様凸性の導入や1960年代以降の、らの研究によって独立した領域として大きく発展したBeauzamy, B. (1985). *Introduction to Banach Spaces and their Geometry* (2nd ed.). North-Holland.。
動機 すべてのバナッハ空間は完備なノルム空間という意味で共通の公理を満たすが、その内部の幾何学的構造（特に単位球 の形状）は空間ごとに大きく異なる。
例えば、2次元のユークリッド空間 の単位球は滑らかな円であるのに対し、 の単位球は正方形（ひし形）、 の単位球は正方形（軸に平行）となる。無限次元空間においては、この「単位球の丸み（凸性）」や「角の立ち具合（滑らかさ）」の違いが、以下のような本質的解析的差異を生み出す：
1. 最良近似の一意性: 単位球が「強く丸い（一様凸）」場合、凸部分集合への射影（最良近似元）が一意に定まる。
2. 空間の幾何学と位相の不変性: 単位球に角（正方形的な構造）が存在するか否かが、空間の回帰性（弱コンパクト性）や微分の可否（フレシェ可微分性）に直接影響を与える。
3. 局所理論（Local Theory）: 無限次元バナッハ空間の有限次元部分空間の構造を解析することで、幾何学的次元の限界や漸近的挙動を理解する。
したがって、バナッハ空間の「幾何学」を定量・定性的に分類・解明することは、非線形解析学、偏微分方程式論、調和解析などの多岐にわたる分野において必要不可欠な動機となっている。
基本概念と幾何学的構造
バナッハ空間の幾何学的性質は、単位球および単位球面の性質によって分類される。
凸性と滑らかさ 一様凸空間（Uniformly convex space）: 単位球面上において、互いに離れた2点の解の中点が単位球の内部に深く入り込む空間。一様凸バナッハ空間は常に回帰的である（ミルマン＝ペティスの定理）Megginson, R. E. (1998). *An Introduction to Banach Space Theory*. Springer-Verlag.。
直交性 内積を持たない一般のバナッハ空間においては、内積の代わりに距離の最小化や幾何学的等式を用いて直交性を定義する。代表的な定義として以下の概念が知られている：
バーコフ＝ジェームズ直交（Birkhoff–James orthogonality）: がすべてのスカラー に対して成り立つとき、 は に直交すると定義する（）。距離の最小化に基づく定義であり、斉次性を満たすが一般には非対称な関係となるBirkhoff, G. (1935). Orthogonality in linear metric spaces. *Duke Mathematical Journal*, 1(2), 169–172.。 等脚直交（Isosceles orthogonality）: が成り立つとき、 と は等脚直交すると定義する（）。平行四辺形の対角線の長さの等しさに由来し、常に対称性を満たすが、一般にはスカラー倍に対して閉じない（非斉次）James, R. C. (1945). Orthogonality in norm-linear spaces. *Duke Mathematical Journal*, 12(2), 291–302.。 ロバーツ直交（Roberts orthogonality）: すべてのスカラー に対して が成り立つとき、 は にロバーツ直交すると定義する（）。等脚直交の条件を全スカラーへ拡張したものであり、対称性と斉次性の双方を満たす非常に強い条件であるRoberts, B. D. (1934). On the geometry of abstract vector spaces. *Tohoku Mathematical Journal*, First Series, 39, 42–59.。 ピタゴラス直交（Pythagorean orthogonality）: が成り立つとき、 と はピタゴラス直交すると定義する（）。ピタゴラスの定理の等式に基づく定義であり、対称性を満たすが一般には非斉次的となる。
一般のバナッハ空間においてこれらの直交概念は必ずしも一致せず、それぞれ異なる挙動を示す。次元が 3 以上のノルム空間において、これらの直交概念のうちいずれか2つ（例えばバーコフ＝ジェームズ直交と等脚直交など）が常に一致するための必要十分条件は、その空間がヒルベルト空間（内積空間）であることである。
バナッハ空間の幾何学的定数 バナッハ空間が「どれほどヒルベルト空間（内積空間）に近いか」あるいは「どれほど歪んでいるか」を定量評価するため、多くの幾何学的定数（バナッハ空間定数）が考案されている。
フォンノイマン・ジョルダン定数 : 中線定理からの離脱度を測る指標。 であり、 はヒルベルト空間。 ジェームズ定数 : 単位球内の正方形の存在度合い（一様非正方形性）を測る指標。 は一様非正方形。 ダンクル・ウィリアムズ定数 : ベクトルの単位球面上への射影（正規化）に伴う距離の変動比率の上限を測る指標。 高・劉の定数 : 距離制限を持つ2ベクトルの和のノルムの上限を測る指標。
主要な定理
幾何学的バナッハ空間論における不朽の金字塔となる定理の一部を以下に挙げる。
ミルマン＝ペティスの定理（Milman–Pettis theorem）: すべての一様凸バナッハ空間は回帰的である。 ジェームズの定理（James's theorem）: バナッハ空間 が回帰的であるための必要十分条件は、 上の任意の有界線形機能が の単位球上でそのノルム（最大値）を達成することである。 ドヴォレツキーの定理（）: 任意の無限次元バナッハ空間は、任意の自由度 と任意の精度 に対して、 次元ユークリッド空間 と -同型な部分空間を含む（局所理論における最重要定理の1つ）。 エンフォーの反例（）: 任意の無限次元バナッハ空間が近似性質（またはシャウダー基底）を持つかという長年の未解決問題に対し、1973年に反例を与えた。
脚注
関連項目 バナッハ空間 ヒルベルト空間 一様凸空間 一様非正方形空間 狭義凸空間 回帰的空間 バーコフ＝ジェームズ直交 フォンノイマン・ジョルダン定数 ジェームズ定数 ダンクル・ウィリアムズ定数 高・劉の定数
参考文献