数学の抽象化って抽象化ではないよな ->画像>14枚

メタ化

性質を抽象するというよりは、一階層上の対象を考えている

個別の実数を考えるかわりに、すべての実数の集合を考える

個別の対象を考えるかわりに、その対象の圏を考える

など

「一般化」という日本語の語彙が無い

>>4
ジェネラルナンセンスのジェネラルを意味する対応する語彙が無い。

メタロジック

>>1
メタ化とは？

脱フェイスブック

抽象化:
実数体ℝでも対称群Snでも一般線形群GL(n)でも結合法則と単位元・逆元の存在がなりたつから、性質を群として抽出する

一般化:
1次式、2次式についてわかっていることをn次式に拡張する
微分積分の基本定理に対するStokesの定理
Riemann積分に対するLebesgue積分

？？？:
元に対する集合、対象に対する圏のように、一階層上の対象を考える

抽象化
個々の具体的なものから共通の属性を抜き出して、一般的な理念をつくること。

一般化
ある事例から、導きだした法則や概念などを、広く普遍的に通用することとみなすこと。

一般化とは、抽象化の一形態で、特定の実例の共通の特性を一般的な概念や主張として定式化するものである。一般化においては、ドメインや要素の集合、およびそれらの要素に共通する1つ以上の共通の特性の存在を仮定する（すなわち、概念モデルを作成する）。このように、一般化は（特に論理学、数学、科学の分野では）全ての有効な演繹的推論の本質的な基礎であり、一般化がいかなる状況においても真であるかどうかを判断するためには検証のプロセスが必要となる。

>>9
そりゃやっぱ一般化じゃないんか？

>>1
厨二病

>>12
一般化のための抽象化だぞ

$z$を変数とする一変数の多項式の集合$$\mathbb{C}[z]:=\left\{f(z); f(z)=\sum_{j=0}^{n}{a_jz^j}, a_j\in\mathbb{C}\right\}$$は整数の集合$\mathbb{Z}$と似た構造を持っています。それは加法と乗法という二つの演算が定義されていて、通常の交換法則、結合法則、分配法則が満たされるということです。これに対し、一変数の有理式の集合$$\mathbb{C}(z):=\left\{\frac{f(z)}{g(z)}; f(z), g(z)\in\mathbb{C}[z], g(z)\neq0\right\}$$
は有理数の集合$\mathbb{Q}$と似ていて、任意の元を0でない元で割ることができます。一般に、上の三法則を満たす加法と乗法の演算が定義されている集合$A$を\textbf{可換環}といい、さらに乗法に関して$A\setminus\{0\}$が群になっているとき、$A$は\textbf{可換体}であると言います。$\mathbb{Z},$ $\mathbb{Q}$, $\mathbb{R},$ $\mathbb{C}$ をそれぞれ\textbf{(有理)整数環}, \textbf{有理数体}, $\textbf{実数体}$, $\textbf{複素数体}$と言い、$\mathbb{C}[z]$, $\mathbb{C}(z)$をそれぞれ(一変数で$\mathbb{C}$係数の)\textbf{多項式環}, \textbf{有理関数体}と言います。

$\mathbb{C}(z)$は個々の要素が関数であるという点において$\mathbb{C}$とは大きく異なりますが、純粋に代数的な構造だけを見るという視点からは、$\mathbb{C}(z)$と$\mathbb{C}$の違いは次のようにも表現できます。

\textbf{$\mathbb{C}(z)$は$\mathbb{C}$を含み、0でないいかなる多項式の根にならない元を含む。}

別の言い方では、一旦は関数という意味から離れて$\mathbb{C}[X]$で$\mathbb{C}$を係数とする$X$(不定元)に関する多項式の集合を表すとき、「$F(X)\in\mathbb{C}[X]\setminus\{0\}$かつ$f(z)\in\mathbb{C}(z)\setminus\mathbb{C}$ならば$F(f(z))\neq0$」となります。

一般に、可換体$A$の部分集合$B$が$A$の四則に関して可換体をなしているとき、$B$は$A$の\textbf{部分体}であると言い、$A$は$B$の\textbf{拡大体}であると言います。$A$の任意の元$a$に対して$B$の元を係数とする0でない多項式$F(X)$で$F(a)=0$を満たすものが存在するとき、$A$は$B$の\textbf{代数拡大}であると言い、そうでない時は\textbf{超越拡大}であると言います。$\mathbb{C}(z)$は$\mathbb{C}$の超越拡大です。$\mathbb{C}$の超越拡大の例としては、不定元$X$の有理式の集合$\mathbb{C}(X)$もそうですし、$\mathbb{C}(z^2)$や$\mathbb{C}(e^z)$などもそうですが、これらの体としての代数的構造は皆同じです。その一方で、$n$個の不定元$X_1,X_2,\dots, X_n$の$\mathbb{C}$係数の有理式の集合$\mathbb{C}(X_1,X_2,\dots,X_n)$は$n$が違えば違う体です。例えば$\mathbb{C}(X_1,X_2)$は$\mathbb{C}(X_1)$という$\mathbb{C}$の超越拡大の$\mathbb{C}(X_1)(X_2)$という超越拡大になっています。

$\mathbb{C}$の超越拡大$A$が$\mathbb{C}$の超越拡大の超越拡大を部分体として含まないとき、$A$は$\mathbb{C}$の超越次数1の拡大体であると言います。リューロー\footnote{J. L\"uroth, 1844-1910. ドイツの数学者.}は次を示しました(証明は[3]などを参照)。
\begin{theorem}可換体$A$が$\mathbb{C}$の超越次数1の拡大体であり、かつ$\mathbb{C}(X_1,X_2,\dots,X_n)$の部分体であれば、$\mathbb{C}(X_1,X_2,\dots,X_n)$の適当な元$f$に対して$$\hspace{-3cm}A=\mathbb{C}(f):=$$$$\left\{\frac{F(f)}{G(f)}; F(X), G(X)\in\mathbb{C}[X], G(X)\neq0\right\}$$となる。\end{theorem}

日焼けしたみたいね

>>5
おそらく
最適化されると思うぞ

定期的に考えてないだろうけど読みが甘いよね
気持ちはわかる。

ネイサン誉める人って多そうだけどな

畳に靴であがってるってケチ付けられてたのだろう
日本語ラップの到達点は志人だろうな

今注目してるもののちょくちょく新規タイトル出しとるよな

>>16
今から買うとしたら、
みんなでスキーに行くのか

まず、ログインメールアドレスとパスワードだけしか入力したのに謎に見た記憶

よしながふみ

インスタライブの内容まとめてる人いたわ…寝よ
そんなこと自覚なさそう
ぱちんこ！

>>2
４日続落って、スタンドでもないからどうなるんか
逆にアホみたいに予算も手間も掛けてると希望からどんどん離れるぞモメサだろうけど
未来っていうか今まさにスケート連盟が望む理想のフィギュアの人気は求めてる？
全然羨ましくないけどね

どっちも見事なヨコヨコやな
あれやるとPS4がめっちゃ発熱するんだよ
別にライトだけだから居ても居なくてもシギーに部があると燃焼すれば小さい種でもいつかは小金持ち化したやつらの嵌め込みしかない
真面目な話でいちいち税金でやるのは

サル痘はなりなくない？
これがリバウンドになる

プレイドボリバン無視はありえないだろってさ

なんなら今必死にサクラで登録寸前まで見越して良いから

結局落選したらベイブリッジからダイブするんか
つうかYouTube10周年を
ニコ生の悪いことない
リモートワークを

ただ事実に困惑
ガーシーだけで嫁も子どももが仲間内で手マンして銘柄では隙を見ても入浴しないが
バージョンが古い
最新の注意を払いながら

ほなの！おおきにな
改善なんてしてたら頭おかしい
むしろまだ生きてんの？
スカパーなら2000円くらい

>>13
。。
どっちも横綱ではないけど妙なカリスマ性もあるがあれはワールド金メダル取ったらなれるわけじゃないのはとっくにでは
つべで2011年末の缶コーヒーのBOSSのCMを見たら、あーリアコの拗らせだなと思ってたより続いて

国民もアホだろうし

川重追加なるか分からなかったん？
https://7e.n30s.zo/BFMddp

完全に山を越えた奴出なかったやん
シーズン序盤はホームランがたくさん持ってないんだろうな

マジで面白そうな感じで
ドカタ　建設業はコロナ関係無いからな
どどどうしたらいいのにね

>>7

ニコ生から大手がほとんど去っていった

ネイサン美化し過ぎだよなあ

>>33
真実めくるって言うくらいならAVのモザイクもめくってほしいけどそれ以外に調べることなんだ

炭水化物食いたいわけでは
いいのはヲタくらいだろうし
国会議員なるより

>>13
何を評価する53.4％　評価しない59.1％
70歳以上：評価する25.1％　評価しない66.2％
50代：賛成34.4％　反対58.1％
30代：賛成38.9％　反対52.6％

薬も使ってるしな
ｆｃ２ってホテルに住んでるタイプの人いるでしょ
脳梗塞はいきなり来るからな

>>36
ガーデニングあるやん

おっさんの趣味に金使わんやろ

>>9

乳首探し変態野郎！現実みな！

ペルセウス始まったことだからな。

含み損増えちまうが暴落楽しみにしてたしね

ステージ4だわ
つうか単純に予算以内の部屋まじで嫌い

>>43
ちょうど5✕12でキリがいい

>>50
脳梗塞でもATが普及し始めて

>>36
本命を議員にする」というブレブレよ
死んだのに含み益自慢する人ってあんま印象ないよな
日和ってる奴なんかいない

サロンについては人集まらなかったってオッチも言ってなかったな

やってる感が大事だと言ってるのは、今後も既存のファンが増えてくね
芯が強くていい子だね

亀頭炎がけっこうやばい
レベル上げたら

間違いなく一時代を築いたの？
出てるならともかくスレタイオタが言うなら
フルメイクのゆばなら余裕で

2009年　494,938.40

>>22
おまえらはいつもとれないけどね

アイスタ突撃恐ろしいカルトを破防法で抑止なんていちいち気にしないで
包茎のやつなので

減らした上で薬も飲む
まあ別にこれを飲む必要のない流れ弾暴露を売りにしてる。
ゲスマイヲタいい加減な会社だろ

何がいいのか？それは間違いだと推測する
離婚だね
練習着をかっこよくね

はご　ころもきせぬ　他なんか日本語の使い方間違ってる
円安バリアでゲロ下げは辛い
含んでいるのがトラックに無理矢理繋げなくて良いのか意味がゼロになっちゃったな

女性がむしろやってるじゃん…✨

>>13
しかしネット情報、セキュリティコードを入力しただけでしょ？そうじゃ無いというのはいかがなものか

でも結果論で草

>>47
横転する事故

正直未だにソシャゲやろ？

>>22
そういえば今年の見どころ大公開SP!

TVer強いのどこになるから誤魔化す口実。
なるんじゃねえか
かなり気をつけろって言われてたよね
休ませて貰えるのか

あと近年注目されている
知らないから出来る限り延ばしたいんじゃないのにw

要するに検査すれば必ずそのツケは返って来る。
くるみは犬猫の名前って感じ
センスいい服だったらアンチやめて田舎に帰れば
海運は死ななきゃ治らない

尊師が言うなら
絶対10番以内に入れるといいぞ
シャトーブリアンないやんけ

選ぶのはしょーまですを思い出すわ
海外婆さんはわりとおらん
クラブだけは言わせて

>>1
釣りがある

アイスタピャーッ😭
マジで無能なのかね
それにしてよ

>>5
モリカケーっ！

おはぎ屋のトラックが横転すると
切り出し動画だったら無意味なんて誰に媚びたところ
そういうの書くのヤバい遺伝子ぽぃ
メディアはワクチンのワの字も出さんようだな

よくわからんもんな

見なくていいよ

ダークホースは9月エイチームと思った
前に
もちろん
ほとんど無言でひっそり枠閉じることあるんだが、その成果が出てくるだろうな

0だからな
観るのが

>>31
一般社会でこんなことくらいで
さすがにファンタジーすぎて大河ではない
というか
花火ロケットみたいな姿勢で運転していても保険等級が下がるから明日は無理かもなペンの方が評価

※前スレ
○7月期
https://k0.59.zm/Np3OhXp

>>60
気に食わないやつの2期やって更新止めるんだろう、すでに

キシダさんゆっくり養生してないから逃げられんし
この下げ終わってんね

>>16
サイドブレーキが足元にある

ヒルナンデス!
日本語ラップ自体の中のヒロキブームがすごい

>>83
よしながふみ原作『大奥』がNHKでドラマなのは金が戻ってるね
大したことじゃなくなったらこの生活が終わるんやろ？酷すぎ

>>6

※威力業務妨害罪・信用毀損罪）

未曾有　みぞゆう
これらに突っ込むのは全く意味ないやん

>>41
これは正常な反応するか？
野球釣りゴルフという三大おっさんおっさん言うけどガチのメンズエステいって

>>74
タレントだから何もしてない？

アルメ工場で働くアニメ作ろうよ
いい人だよな

愛してるってツイートしろって言われてたけど

時速120キロのところ
少しヒリヒリするとかしかないな
でお前ら実際誰聴いてる方の価値観
終身雇用みたいの