高校の数学で扱う定義を大学の内容で証明している本

**１３２人目の素数さん** · 2024/01/29(月) 21:13:09.44

ご存知ですか？

**１３２人目の素数さん** · 2024/01/30(火) 15:09:30.56

こういうスレを待っていました。
文系ですが私も数学がわかりたい気持ちがありますので皆さんに教わりながら「現代数学概説1」を読みたいと思います。

**１３２人目の素数さん** · 2024/01/30(火) 15:12:24.48

集合からですね。長年集合論を学びたいと思いつつ今に至ります。孫も成人しており気楽な老後生活です。

**１３２人目の素数さん** · 2024/01/30(火) 15:15:25.17

現代数学っていっても
60年前の本だよ

**１３２人目の素数さん** · 2024/01/30(火) 15:19:57.45

初めの数ページは中学や高校の教科書のままですね。分かりやすいです。

**１３２人目の素数さん** · 2024/01/30(火) 15:22:31.71

例題の扱いについて質問します。解答がついていませんが皆さんは解きながら進めていますか。それとも内容を頭に入れて解かないで進めますか。

**１３２人目の素数さん** · 2024/01/30(火) 15:25:07.38

>>13
なんかワロタ

**１３２人目の素数さん** · 2024/01/30(火) 15:28:08.58

本を開いて勉強しないで、こんなスレに書き込んでいる時点で、5年かけても10年かけてもお前にゃ無理

**１３２人目の素数さん** · 2024/01/30(火) 15:32:15.90

現代数学の柱は代数系、位相、測度の3つで、その基礎は集合であると前書きに書いてありますね。
集合論は100ページぐらいありますが頑張ります。

**１３２人目の素数さん** · 2024/01/30(火) 15:44:54.54

おすすめございますか？

**１３２人目の素数さん** · 2024/01/30(火) 15:47:26.32

1日1ページ読もうと思っていましたが4～5ページ読めて§1の最後まで進みました。今のところ中学高校範囲の内容で分かりやすいです。

**１３２人目の素数さん** · 2024/01/30(火) 16:06:10.40

>>20
使い方などについては他でやっていただけませんか？そういう趣旨のスレッドではないですので

**１３２人目の素数さん** · 2024/01/30(火) 16:17:18.71

§2は写像とか関数ですね。少し読み進めてみますね。

**１３２人目の素数さん** · 2024/01/30(火) 16:35:18.23

今まですらすら読めていましたが難しい所にあたりました。頑張りますね。

**１３２人目の素数さん** · 2024/01/30(火) 17:00:12.28

よく考えたらわかりました。図が参考になりますね。対応や射影というのは中学、高校では出てこないので慣れるまで大変そうです。

**１３２人目の素数さん** · 2024/01/30(火) 17:19:13.11

なんだよこのジジイ

**１３２人目の素数さん** · 2024/01/30(火) 17:37:38.80

忘れてましたが合成は
fgではなくgfと書くのでしたね

**１３２人目の素数さん** · 2024/01/30(火) 17:39:26.97

f(a)=b、g(b)=cのとき
g(f(a))=c
c=g￮f(a)ですね

**１３２人目の素数さん** · 2024/01/30(火) 17:45:29.29

逆対応は
f→g=gfの逆だから
gの逆→fの逆で
(fの逆)(gの逆)となるのですね

**１３２人目の素数さん** · 2024/01/30(火) 17:48:57.22

写経とか音読というのは効果があるのでしようか。やっている人はあまり居ないですよね。

**１３２人目の素数さん** · 2024/01/30(火) 18:39:59.49

対応のうち一価のものを写像とか関数と言うわけですね。今まで曖昧に理解していたように思います。

**１３２人目の素数さん** · 2024/01/30(火) 20:16:58.46

一価とか今日日聞かないワードだな
数学は不変とか聞いたこともあるが、古いものはすぐ古くなるのが現実だと思う

**１３２人目の素数さん** · 2024/01/30(火) 21:36:18.49

図式と系列とかわかりました。可換というのも当たり前のことてすよね。

**１３２人目の素数さん** · 2024/01/31(水) 11:24:16.59

数列とは写像x: N→Rのことなんですね。

**１３２人目の素数さん** · 2024/01/31(水) 11:47:14.09

Im aは(aα)α∈Aによって定まる集合、Aは添数集合でαは添数ですね。ここは分かりやすいですが分離的な集合族とか、もうかなり複雑になってきてます。

**１３２人目の素数さん** · 2024/01/31(水) 12:16:33.85

(aα)α∈Aは数列で(Mα)α∈Aは集合族ですか。1個1個のa1、a2、が実数か、M1、M2が集合かの違いですよね
どんどん難しくなります
和集合S=∪Mα、α∈A、少なくとも1つに入る
共通部分D=∩Mα、α∈A、全てに入る
拡張すると分かりやすくなることもありますね

**１３２人目の素数さん** · 2024/01/31(水) 14:34:15.64

選出公理の練習ですね。
全射なので(f(ま1)y)y∈Nは∅を含まないから選出公理により写像sは存在する。これをfの右逆写像と言います。

**１３２人目の素数さん** · 2024/01/31(水) 14:48:38.95

または切り口、
左逆写像または引き込みと言います。
逆写像と全射、単射の関係が続きます。つらい。

**１３２人目の素数さん** · 2024/01/31(水) 15:01:54.67

文章の説明だけではなくグラフを使って考えるんですね
何となく理系的な考え方が分かってきました

**１３２人目の素数さん** · 2024/01/31(水) 16:18:09.59

本当に頑固ですね、見てて恥ずかしい

**１３２人目の素数さん** · 2024/01/31(水) 21:17:26.55

数学の本って言い換えの練習が多いのでしょうか。親しみが持てますね。
選出公理のいい変え
集合族(Mα)α∈Aが正規集合族⇒
直積ΠMα、α∈A、≠∅
標準的全射と言うと難しいが射影と言うと分かりやすいですね

**１３２人目の素数さん** · 2024/01/31(水) 23:46:14.98

>>1
高校数学で扱う定理だろ

**１３２人目の素数さん** · 2024/02/01(木) 07:51:47.17

>>41
定理として学びますか？

**１３２人目の素数さん** · 2024/02/01(木) 08:27:34.49

>>42
何を聞いてるんだ？

**１３２人目の素数さん** · 2024/02/01(木) 08:31:11.36

定義と定理もあやふやか

**１３２人目の素数さん** · 2024/02/01(木) 11:44:52.89

集合論は計算することが少なくて文系向きですね。
写像が全単射の時は何かと都合がよいのですね。

**１３２人目の素数さん** · 2024/02/01(木) 14:02:21.81

AからMへの写像全体またはその部分集合を考えて写像空間または関数空間と言います
P=Π(α∈A) Mα=MA
また全単射同型ですね
f: ∅→∅は1つの写像、
f: ∅→Bは1つの写像、
f: A→∅は∅写像、
f: A→Bは色々な写像
なんですね。A≠∅、B≠∅とします。
標準的な全単射。標準的な、という用語も多く見られますね
部分写像
Mの全ての部分集合の集合を冪集合と言います。特徴関数または定義関数。Γによって引き起こされる冪集合写像
P(M)と2^Mを同一視するということは同型写像が基礎にあるのですね。{0, 1}^M=2^M
I'(M)=I(P(M))です
写像fが単射⇒冪集合写像f'は単射
fが全射⇒f'は全射
こんなのが延々と続くのがつらい

**１３２人目の素数さん** · 2024/02/01(木) 14:06:59.81

高校の時、バレーボール部で全国に行きましたがその時の猛練習を思い出しました。
大学は東大文一に受かりましたが勉強はそれなりでしたね。

**１３２人目の素数さん** · 2024/02/01(木) 16:00:00.51

受験脳
>東大文一

**１３２人目の素数さん** · 2024/02/01(木) 16:25:21.02

体育会系で東大文一卒

**１３２人目の素数さん** · 2024/02/01(木) 17:14:53.63

被覆とはある集合Mに対してある集合族X=∪(α∈A) MαによってM⊂Xとなる時、XをMの被覆と言う。被覆するということですね。
小さい被覆を細かい被覆、大きい被覆を粗い被覆と言いますね。
X=∪Mα, Y=∪NβがMの被覆の時、
(Mα)∩M、(Nβ)∩M、(Mα)∩(Nβ)もMの被覆になりますね。

被覆というのは被覆する方も被覆される方も集合なので、写像によっていろいろ式が出てきますね

**１３２人目の素数さん** · 2024/02/01(木) 17:29:12.36

>>50
正直言って開被服で包み込むのには性的興味を覚える

**１３２人目の素数さん** · 2024/02/01(木) 17:40:45.44

私は数学で性的に興奮するということはありませんが、被覆かつ分離的かつ任意のMα≠∅の時、直和分割と言いますね。これは良い性質でしようね。

**１３２人目の素数さん** · 2024/02/02(金) 12:21:15.77

大小関係とか包含関係とか。
関係はx￮yまたはx△yのいずれか一方のみが成り立つ。ここで△は￮の否定とします。
ある関係が成り立つまたはある関係が成り立たないのどちらか。
対応→逆対応、写像→逆写像、関係→逆関係とか全部同じなんですね。x∈M、y∈Nの時よりもx∈M、y∈M、x￮y∈Mとすると一挙に話が具体的に見えてきますね。

**１３２人目の素数さん** · 2024/02/02(金) 13:39:16.55

同値関係～
x～x、x～y⇒y～x、x～y∧y～z⇒x～zの3つを反射律、対称律、推移律と言いますね。x～yほx≡y modRとも書きます。

商集合というのがでてきて和集合、差集合、積集合、商集合が揃いましたね。
同値関係にあるxとyを同じものと見做すということですね。
商集合N=M/Rは同値類の集合ですね。同値関係や同値というのはよく出てきます。
代表元と代表系。話がまとまってきましたね。

**１３２人目の素数さん** · 2024/02/04(日) 01:16:19.77

随伴する写像というものを考えます。図式で考えます。同値関係にある元どうしを同一視する。
充満な部分集合とか両立する条件とか難しくなりました。
記号R≻G、G≺R、RはSよりも細かい。SはRよりも粗いと言います。
M/R≺M/SならばSはRと両立する
これで理解します。

**１３２人目の素数さん** · 2024/02/05(月) 11:42:48.69

順序の公理x≤x、x≤y∧y≤z⇒x≤z、x≤y∧y≤x⇒x=y
記号は≤ではありませんが。
この関係を順序関係と言います
順序集合(M, ≤)または台

**１３２人目の素数さん** · 2024/02/05(月) 12:05:08.03

順序関係の例が続きます。
順序関係を定義する、導入するのですね。
Hasseの図式。順序集合。R≺R'。同値関係。擬順序集合、双対的。定義が続きますね。
順序集合同士にも単射、全射、全単射が存在しますね

**１３２人目の素数さん** · 2024/03/28(木) 15:33:56.36

東大文系卒は落ちこぼれたか

**ぼぼ・ぶらじる** · 2024/03/29(金) 07:38:15.21

取扱注意!高校数学を大学数学で解く「チート解法」佐久間正樹 (著)

これ、おもしろいですか？

**１３２人目の素数さん** · 2024/03/29(金) 13:03:09.23

本当にあって草

**１３２人目の素数さん** · 2024/03/29(金) 13:03:43.94

先月出たばかりだな