集合論

数学とか

集合の濃度と全単射

とりあえず1か月振りなのでこれまでの流れを復習します。ここまでの流れ。集合について学んでいると同値関係って言葉が頻出したので、かなり脱線して「同値」って何ぞやってことをWikipediaの記事を潜って学んでいました。同値類は反射律、推移律、...
数学とか

数学の「関係」の定義

集合論を進めていると「同値」って言葉が頻繁に出てきます。a = b のことです。義務教育で習いましたよね。日常生活でも何となく利用しているありふれた概念なので、深くその定義について考えてはいなかったのですが、ふと「そういえば『同値』って何....
数学とか

素朴集合論の集合の定義

集合と元の素朴な定義について学んでいきます。公理的集合論では厳密に集合を定義するようですが、慌てずに素朴集合論の定義から学びます。集合集合の定義けっこうあっさりしていて「集合とはものの集まりである」です。整数、自然数、有理数などが集合の例に...
数学とか

素朴集合論とラッセルのパラドックス

数学を学んでいる時間が今は一番楽しくて、息抜きとして心が疲れた時にだけやっていいって決めてはいるのですが、一度始めると5時間とかはあっという間で。学生の頃に目覚めてくれればね。よかったのに。ボクシングを考えるのが疎かになっています。頭の片隅...
数学とか

直積の定義と例

直和の定義の次は直積を見ていきます。忘れないようにメモしておきますが、これは整数の定義を理解したいというのが発端となっています。直積概要数学において、集合のデカルト積(デカルト­せき、英:Cartesian product)または直積(ちょ...
数学とか

直和の定義と例

自然数に続いて整数の定義しようと思ったら、そのためには同値類という集合の分類を定義する必要があり、さらにそれを定義するためには直和と直積という定義を学ばなきゃならんようなんで、やっていきます。直積、直和という概念は物理学にも応用されていると...
数学とか

素人が数学に挑戦 …写像?

ベクトル空間の理解のために写像って概念が必要なのでざっと学習します。写像は集合論に出てくる概念で、集合と集合の対応関係を表しています。写像定義とりあえずいつも通りWikipediaの定義を読んでみます。写像集合Aの各元に対してそれぞれ集合B...