大学学部レベル質問スレ 24単位目

大学で習う数学に関する質問を扱うスレ

・質問する前に教科書や参考書を読むなりググるなりして
・質問は正確にすること、教科書で定義を確かめること
・高校生以下の質問はそれぞれのスレへ
・自作問題は禁止
・ただの計算は
http://wolframalpha.com
・数式の表記法は
http://mathmathmath.dotera.net
・質問のマルチポストは非推奨
・煽り、荒らしはスルー

※前スレ
大学学部レベル質問スレ 23単位目
https://rio2016.5ch.net/test/read.cgi/math/1693982722/
大学学部レベル質問スレ 22単位目
https://rio2016.5ch.net/test/read.cgi/math/1683623006/
大学学部レベル質問スレ 21単位目
https://rio2016.5ch.net/test/read.cgi/math/1675998924/
大学学部レベル質問スレ 20単位目
https://rio2016.5ch.net/test/read.cgi/math/1669086920/
大学学部レベル質問スレ 19単位目
https://rio2016.5ch.net/test/read.cgi/math/1659623368/

>>946
>これは何が言いたいんですか？
x,yを含む平面とその直交補空間に座標を取り直すということです

949 １３２人目の素数さん 2024/12/11(水) 10:52:12.11 ID:d8Rz/mmo
>まともな質問が1個も無い
これはまともなコメントだろうか

この不動点コンビネータってやつは、普遍性あるいは表現可能関手で定義できるだろうか？
//ja.m.wikipedia.org/wiki/%E4%B8%8D%E5%8B%95%E7%82%B9%E3%82%B3%E3%83%B3%E3%83%93%E3%83%8D%E3%83%BC%E3%82%BF

>>951
brain drained

>>946
まともな質問をしているとでも思っているのか？笑

それをみたすものが複数あるから普遍性はないだろ

>>946,947
低知能の典型例
おもしろい
どんどん書け

>>954
不動点コンビネータを定義するとはどういうことだろ

>>952

ありがとうございます。

「R^n の二つのベクトル x, y の内積についても、内積および角の大きさが任意の直交変換で不変である」などと書いていますが、「角の大きさ」の定義をしていません。

これって問題ですよね？

Yが不動点コンビネータであるとは～を満たすことである
なのか
Y:=なんかの普遍性とか
とすればYは不動点コンビネータである
なのか

R^n での角の大きさの定義をしていません。
定義もしていないものが直交変換で不変であるなどと言っています。
R^2 の場合に帰着させるこの論法に意味はあるのでしょうか？

「
R^n の二つのベクトル x, y の内積についても、内積および角の大きさが任意の直交変換で不変であることを用いると、結局 R^2 内のベクトルの場合に帰着するので、

(x | y) = |x| * |y| * cosθ

が成立つ。ここで θ は x と y のなす角の大きさを表わす。
」

自然数まで定義している杉浦光夫さんは角の定義をしていません。
バランス感覚は大丈夫でしょうか？

┐(´д｀)┌

>>960
R^2での素朴な角と長さの認識を想定しているのでしょうね

>>965

ありがとうございました。

>>961
不動点コンピネータYの満たすべき条件は
関数f:A→Aの全体A^AからAへの関数であって
f(Y(f))=Y(f)となることつまりY(f)がfの不動点を表すこと

実際のYがどのように呈示されるかはそれぞれでしょう

>>954
不動点コンビネータの解説求む
https://mevius.5ch.net/test/read.cgi/tech/1733826206/

>>967
いや質問者がどっちの意味で定義したいのかからわかんないなって話

>>970
具体的に

>>969
そのスレの>>3で仕舞い

>>954
>この不動点コンビネータってやつは、普遍性あるいは表現可能関手で定義できるだろうか？
さあ？
やりたければ考えてみれば？って感じ

>>961
x=αがx^2+ax+b=0の解であるとはα^2+aα+b=0を満たすことである
なのか
x=(-b±√(a^2-4b))/2
とすればxはx^2+ax+b=0の解である
なのか

>>971
どこが具体的じゃないんだ？

>>868これどうやんの？

>>976
giの根の1つをgjの根に移すガロア群の元σでσ(gi)=gjになるんじゃないの？既約だから一部重なってたら全部同じ

>>977
そうなると思うんですが
それをどうやって示すんですか

>>959
>>973
回答できないなら書き込むなよカスが

>>957が解
不動点コンビネータは複数あるから、普遍性はない

>>980
アホかね
不動点コンビネータの全体は一つしかないわ

>>979
それ自己紹介だってわかってるの？君

>>978
σ(gi)は既約多項式で
2つの既約多項式の根が1つでも重なってたら全部重なる
つまり同じ

>>981-983
君は数学に向かない

わざわざこんな過疎ってる板にきて明らかな間違いを書き込んでおもしろいのだろうか

Mをfの分解体
giの根の1つαをgjの根にうつすσ∈G(M/K)が存在
gi(α) = 0より、σ(gi)(σ(α)) = 0
gjは既約なので、σ(gi)はgjで割れる
σ(gi)が既約でないとすると、σ^(-1)でうつせばgiも既約でないことになるので、σ(gi)は既約でなければいけない
よってσ(gi) = gj

集合Ωは、ΩからΩへの写像をすべて含む

ということはできますか？

Ωが1点集合じゃなきゃ
|Ω| < |2^Ω| ≦ |Ω^Ω|
なので無理です。

>>984
つまんない奴が居座っちゃったな
なんでこいつ数学やらないのにここにいるんだろ

>>954
そもそもリンク先が意味わからん
f(x) = x + 1とかなら不動点あるわけないじゃん

>>988
>Ωが1点集合じゃなきゃ
1点でも空でも無理よ

#Ω≧2のとき、P(Ω)を冪集合として
#Map(Ω,Ω)≧Map(Ω,{1,2})=#P(Ω)>#Ω
よって無理

あっ被ったわ

>>990
型なしラムダ計算って書いてあるだろダホが

Y = (λf . (λx . f (x x)) (λx . f (x x)))

Y(g)
= (λf . (λx . f (x x)) (λx . f (x x)))(g)
= (λx . g (x x)) (λx . g (x x))
= g((λx . g (x x)) (λx . g (x x)))
= g(g ((λx . g (x x)) (λx . g (x x))))
= g(Y(g))

ふーん

自分の要素が自分自身……が無限に続くなら完備化することで正当化できないの？

それ許すとパラドックスになるんだろしらんけど

>>990
その場合は
Yf=f(f(f(f(・・・))))
で終了しない関数になるだけ
ていうかこれ計算機科学の話だから
関数っていうのも数学的な関数とは
扱い違うよ

もともたBNFで定義された記号列に除去則定めただけのモンだしな

蘊蓄語りの爺さん

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 108日 11時間 32分 6秒

5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。

▼ UPLIFT会員登録はこちら ▼
https://uplift.5ch.net/

▼ UPLIFTログインはこちら ▼
https://uplift.5ch.net/login