未分類

未分類

論理記号「 ∧ ∨ ⇒ ¬ 」を一つの論理記号であらわしてみた

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

「集合論(第10版)」の訂正01

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

「集合論(数学で行こう)」第10版(製本版)

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

「集合論(数学で行こう)」第10版

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

「集合論(数学で行こう)」第9.4.1版

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

数学お勧め本その6[アップ編2]

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

【備忘録】対応の写像による定義

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

対応の定義に伴う基本命題

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

対応の部分集合による定義

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

対応と写像の定義【予告編】

今回のエントリーを書くきっかけは,自分のこのツイートだ; 齋藤正彦『数学の基礎』10-11頁のコメント.   こういう補足は,タナカのような者にとって,とてもありがたい. pic.twitter.com/lWHtJagkXr — タナカ...
タイトルとURLをコピーしました