なちゃおき

ヾ(･ω･｀)ﾉﾊﾛｫｷﾅ!!

[なちゃおき @okinacha11037]

①順序対
集合a,bに対し、
(a,b):={{a},{a,b}}
ここから、(a,b)=(c,d)⇔a=cかつb=d
が分かる。

②直積集合
集合X,Yに対し、
X×Y:={(x,y) | x∈X,y∈Y}

③写像
X×Yの部分集合fで、
”各x∈Xに対して、(x,y)∈fなるyがただひとつ存在する”
を満たすものを写像と呼ぶ。

f:X→Y
x↦f(x) (=y)
と書く。

[なちゃおき @okinacha11037]

別に応用数学だから「立式」というきちんとした言葉があるかと言われるとそんなことないです。

せいぜい立式に値しそうなものとしては「モデリングする」とか「モデリングした式に具体的に数値を代入してみる」とかでしょうか。

[cww nk 🍀 @CwTwYos]

@anker_leonardo @IYcHIPAujn38551 先日mathさんが「立式」というのは算数教育用語と言ってました
一方で順序派はちーくんとか、立式を応用数学と言うのも分かります
双方矛盾ではなくフェーズがすれ違っている
順序派も演算後は好きに計算してもよいと思っていることとも符合します
立式は演算よりも前の作業なので

[なちゃおき @okinacha11037]

交換法則として
∀x,y(∈ℕ);
x×y=y×x

が成り立つことから、自然数の乗法を用いて記述される数理モデル

(ひとつ分)×(いくつ分)=(総数)

に関しても、左辺に交換法則を適用することで

(いくつ分)×(ひとつ分)=(総数)

と変形できる。数理モデルの変形なんてどこでも行われている普通のこと。

[NS Kaoru @ns10110412]

kistenさん引用のスレッドをみて、「交換しない交換則」の原因が分かった気がする。
交換しない交換則は
①「一つ分×いくつ分＝いくつ分×一つ分」
そんな根拠も文献もない！

正しい交換則は
②「因数1×因数2＝因数2×因数１」
だ。高木貞治「廣算術教科書」も同様。
https://t.co/ScNsHUqFj8

[なちゃおき @okinacha11037]

お腹空いた寿司食いてー꜀( ꜆ -ࡇ-)꜆
けど暑いから家から出るのは嫌なんだよな

[うどん @udon_math_yade]

僕が代数が嫌いになった理由は「図的に想像ができないから」やったな

正規部分群って何さ

[なちゃおき @okinacha11037]

@Square_ex2 頭を掴まれた?!
食べ物取られたとかじゃなくて掴まれたんですか?!笑
大丈夫でした···??💦

[かみくら @eQYATFjQor62698]

男子学生にも家賃補助を出せば良いんだよ。女側からなぜ反論が出るのかまっったく分からない。

[なちゃおき @okinacha11037]

数理モデルではあくまでそのモデルに使った数学的対象が表現しうるものまでしか記述できないってのが1つ大事なところ。

ひとつ分×いくつ分=総数

ならばこれらはあくまで「数量」の関係を記述しているに過ぎず、「ものの集まり方」なんかを表現できてはいない。

[なちゃおき @okinacha11037]

@esuthi_v2 @NzoPvVZWS513202 一意性の話と交換法則の話を混同しちゃってるんでしょうかね？

数の概念の話なんて少なくとも一年以上議論してるはずなのに一向に理解が進まないですねー😢

[なちゃおき @okinacha11037]

@NzoPvVZWS513202 順序を守るためには一意性すら放棄するなんて···。
それこそ一意性がなければ計算なんてできないのに···

[佰七 @fo107tM]

#国旗娘

[なちゃおき @okinacha11037]

@shinji_kono @LimgTW 10 kg·m/s
の運動量をもつ鉄球の運動エネルギーはいくつですか？

[なちゃおき @okinacha11037]

a×bもb×aも自然数なので、ここでいう“意味“が「式が指し示すもの」であるならば値としての意味しか持たない。

「a×bは乗法×について、ソース(a,b)のターゲット×(a,b)である。」という“a×bがもつ性質“を意味と言っているなら、

b×aもまた×(a,b)と等しく、a×bとb×aの意味は同じである。

[ひろさん @IYcHIPAujn38551]

@anker_leonardo 僕は、
a✕bは「aにbを乗法としての計算処理をしたもの」
b✕aは「bにaを乗法としての計算処理をしたもの」
という意味で捉えてるよ

そちらは、abもbaも「aとbとを、同時に乗法計算した値」だと捉えている
違う？

[なちゃおき @okinacha11037]

@anker_leonardo @CwTwYos @flute23432 @IYcHIPAujn38551 A÷BとB÷Aみたいな事ですかね？
確かに、そこら辺のイメージは···どうなんでしょう。

[なちゃおき @okinacha11037]

@shinji_kono @LimgTW 計算できませんよ。

[なちゃおき @okinacha11037]

@anker_leonardo @CwTwYos @flute23432 @IYcHIPAujn38551 cwwさんがどのように考えてるかは分からないですが

A=B⇒AC=BC
は慣用的に「右からCをかける」
と言いますが、実際にそのような操作を行う訳ではなく、あくまで唐突に
ACとBCという2つの行列を考えているだけなので、別方向からかけられる(られない)みたいな話には影響しなさそうな気がします。

[なちゃおき @okinacha11037]

@anker_leonardo @CwTwYos @flute23432 @IYcHIPAujn38551 cwwさんは

行列なら
A=B⇒CA=CB
と
A=B⇒AC=BC
しか成り立たない。

実数では本来
a=b⇒ca=bc
と
a=b⇒ac=cb
も成り立つが、この2つの命題は使わない、と言いたいのではないでしょうか。

[なちゃおき @okinacha11037]

@yamanamitakeshi ≫演算の意味を拡張

というのが“一般化“のことを指しているのであれば、その通りだと思います。

一般化や厳密化、抽象化していく上で「純粋数学」と「応用数学」が少しずつ分けられていってるのかなと(数学史に詳しいわけじゃないのでアレですが···)

[linq @linqfynf]

数の概念の乗法について
https://t.co/HSsQZL7Tj9
https://t.co/pFYTSxGLe8

[ハマケン @hamaken0]

寒い人はもう一枚羽織ればいいけどさ暑い人は脱げないんよ、強冷房車求む

それでなくても普段からあんまり効いてないんだからもはや拷問