数学で行こう

ちょっと長いです． 定義（線型空間）．$V$ を空ではない集合 ，$K$ を体とする．ここで， $V$ に加法 $x+y$ が定義されていて，以下の4つの条件を満たしているとする； （結合律）任意の $x,y,z\in V$ に対して，...

論理記号「 $\mid$ 」の真偽値を以下のように定めてみる； $\begin{array}{ccc}A & B & A\mid B\\\bigcirc & \bigcirc & \times\\\bigci...

自著「集合論」の第10版の訂正です． 「§3.2.5 集合族の直積」の規約3.4（96頁）で，以下のように記述しました； この規約内の「 $A^n$， 」を削除します． 任意の $i,\,j\in \varLambda$ に対して，$A_...

 自著「集合論（数学で行こう）」の第10版の製本版の販売開始が令和元年５月１日に決定しました． 5月1日に発売するという公約は守れた！ 現在，予約受付中です．   【集合論（数学で行こう）第10版】 製本版（Amazon） POD版で...

 自著「集合論（数学で行こう）」の第10版を公開した．   【集合論（数学で行こう）第10版】 Kindle版（Amazon） 第10版では， 第7章の加筆ならびに文言の見直し その他，全体的に文言の見直し を行った． 第10版...

 自著「集合論（数学で行こう）」の第9.4.1版を公開した．   【集合論（数学で行こう）第9.4.1版】 Kindle版（Amazon） 第9.4.1版では， 一部文言を見直し を行った． ほぼ半年かけてチマチマと修正していると...

下記のツイート，結構ファボってもらえたので，こちらにも転載してみた． 以前紹介した「数学お勧め本その２［アップ編］」の続きみたいなもの．   取っ掛かり……   数学なら　結城さんの「数学ガール」　石川さんの「位相のあたま」　藤田さんの「...

ふと思い立ってこういうことをツイートした； 写像から対応を定義できるか……   A, B を集合とし，A’ を A の部分集合，P(B) を B の冪集合とする．このとき，A’ から P(B) への写像 g を A から B への対応とい...

前回のエントリー「対応の部分集合による定義」の続き，対応の（部分集合による）定義に伴う基本命題とその証明である． $\newcommand{\krc}{,\,}$$\newcommand{\KRMapByGraph}{\left(#2\kr...

前回のエントリー「対応と写像の定義【予告編】」の続き，対応の部分集合による定義である． 拙著「集合論」を読まれた方には見慣れた書き方と思うが，私の｢書式｣には本文がほとんど無く，「定義・定理・証明・補足 」が淡々と続く．以下でもその方法を踏...