前の会社にいた頃、管理部に配属されて一日目に、 部長から仰せつかった業務が印象的でした。 『部品の長さと直径と内径の範囲を数値で入力すると、 その範囲のサイズの部品を扱っている外注さんが検索されて表示されるような、 そういうシステムが欲しい』 …

今日の数学 [1] ブルバキ多様体: 型射とそのグラフ. [2] ブルバキ位相線型空間: 局所凸空間の直和と順極限. ハーン・バナッハの定理, 幾何表示. [3] 公理的集合論: 積と共通部分の分配法則.

この間東京へ用事があって行ってきた時のこと。 常磐線で取手駅に停まる際、英語のアナウンスが気になった。 『The next station is Toride, JJ 10.』 じぇいじぇいてん？ 取手駅から、JJ 9, JJ 8, と続き、上野が JJ 1. どういう意味なんだろう?

今週土曜日までの数学は [1] 代数トポロジー: ホモロジー多様体 [2] 代数: エルミート形式の直交基底, 二次形式の型. [3] ブルバキ多様体: 多様体の部分多様体の準部分多様体. [4] ブルバキ位相線型空間: 局所凸像位相.

今日の数学は ブルバキ多様体: 部分多様体から多様体への型射について. ブルバキ位相線型空間: 下半連続な半ノルムと局所凸空間. 公理的集合論: 積と合併に関する分配法則.

僕は今まで、ブルバキ数学原論は、 『数学書としては証明がきちんと書いてあって、誰にでも読める易しい本』 だと思っていました。 しかし、ブルバキ数学原論を読もうとして挫折する人がなぜかいます。 どうやら、ブルバキ数学原論は、易しい本ではない、と…

昨日、中国銀行へ行ってきました。 目的は、個人情報の更新と、e-token の再発行。 コロナの影響で、銀行内もガラガラでした。

今日の数学は [1] 代数トポロジー: join の性質. [2] ブルバキ多様体: 部分多様体. 局所有限次元の場合. [3] ブルバキ位相線型空間: ハーン・バナッハの定理 (解析表示)

今週平日の数学は [1] 代数トポロジー: コホモロジー環のテンソル積, simplicial complex の join の定義. [2] 実対称行列の対角化.

今日の数学 [ブルバキ多様体] 部分多様体と準部分多様体の定義. [ブルバキ位相線型空間] 凸集合と凸函数. [集合論] 合併と積に関する分配法則.

今週の数学は [1] 代数トポロジー: cup product と cross product の込み入った関係式 (c_1 × c_2) ∪ ( c_3 × c_4) = (-1)^{p_2p_3} (c_1 ∪ c_3)×(c_2 ∪ c_4) の relative version の定式化. [2] 代数学: エルミート形式と adjoint [3] ブルバキ多様体: 準部…

今日の数学は, [1] ブルバキ多様体: 多様体構造の逆像. [2] ブルバキ位相線型空間: 凸錐と順序線型空間. [3] 公理的集合論: 集合族の合併と共通部分に関する分配法則.

久しぶりの数学エッセーです。 今回は、全不連結コンパクトハウスドルフ空間 X の任意の二点 x, y について, x の X における開かつ閉な近傍 V が存在して, ¬ y ∈ V となるかという問題を考えます. 答えは肯定的で, 文献 [1], p.177 の命題 6 によると, x の…

[1] 代数トポロジー: cup product の反可換性など. [2] 代数学: 慣性律 [3] ブルバキ多様体: 局所微分同型, 多様体構造の逆像.