[過去ログ]
純粋・応用数学(含むガロア理論)3 (1002レス)
純粋・応用数学(含むガロア理論)3 http://rio2016.5ch.net/test/read.cgi/math/1595166668/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
685: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/08/26(水) 17:35:08.08 ID:xagmva3J メモ https://mathworld.wolfram.com/Endomorphism.html#:~:text=The%20term%20endomorphism%20derives%20from,(with%20surjectivity%20not%20required). Wolfram MathWorld Endomorphism The term endomorphism derives from the Greek adverb endon ("inside") and morphosis ("to form" or "to shape"). In algebra, an endomorphism of a group, module, ring, vector space, etc. is a homomorphism from one object to itself (with surjectivity not required). https://mathworld.wolfram.com/Homomorphism.html Wolfram MathWorld Homomorphism A term used in category theory to mean a general morphism. The term derives from the Greek omicronmuomicron (omo) "alike" and muomicronrhophiomegasigmaiotasigma (morphosis), "to form" or "to shape." The similarity in meaning and form of the words "homomorphism" and "homeomorphism" is unfortunate and a common source of confusion. http://rio2016.5ch.net/test/read.cgi/math/1595166668/685
686: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/08/26(水) 17:40:28.07 ID:xagmva3J >>683 どもです レスありがとう http://rio2016.5ch.net/test/read.cgi/math/1595166668/686
688: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/08/26(水) 17:41:46.80 ID:xagmva3J >>684 こちらへどうぞ 分からない問題はここに書いてね462 https://rio2016.5ch.net/test/read.cgi/math/1596464706/ http://rio2016.5ch.net/test/read.cgi/math/1595166668/688
689: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/08/26(水) 17:48:59.41 ID:xagmva3J >>687 おお、すごいじゃん 勉強してますね >しかし逆は即座には言えない >(つまりねじれ元がなくても、基底が存在しない場合があり得る) この後を聞きたいのだが つまり、「自由加群(つまり基底がある)⇒ねじれ元がない がいえる(基底の定義から自明)」は良いとして (>>682より) >https://en.wikipedia.org/wiki/Division_ring >In fact the converse is also true and this gives a characterization of division rings via their module category: A unital ring R is a division ring if and only if every R-module is free.[7]" >https://ja.wikipedia.org/wiki/%E6%96%9C%E4%BD%93_(%E6%95%B0%E5%AD%A6) >斜体 (数学) division ring >斜体であるという性質は加群の圏の性質から特徴づけることもできる。環 R が斜体である必要十分条件はすべての左 R 加群が自由加群であることである[5]。 (引用終り) ”単位的環 R が斜体である必要十分条件はすべての左 R 加群が自由加群であることである[5]。” をどぞ、語ってください http://rio2016.5ch.net/test/read.cgi/math/1595166668/689
692: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/08/26(水) 18:32:24.09 ID:xagmva3J >>674の基底の定義は、有限次元の場合しか考えてない >無限次元線形空間を扱うには、基底が無限集合となる場合も認めなければならない。 確かに、>>675より http://www.math.titech.ac.jp/~kotaro/class/2010/linear2/20101111.pdf 線形代数学第二B 講義資料5 山田光太郎 東工大 2010 年11 月11 日(2010 年11 月11 日訂正) (抜粋) P7 5.3 例 前回みたように F = {f | f は R 上で定義された実数値関数全体 } は R 上の無限次元ベクトル空間となる. P3 質問: F について,F ∋ fk(x) = x^k としたとき√x がf の(原文ママ,"fk の" ということか)線形結合で書けない のは√x がR 上全体で定義されていないからですか? お答え: いいえ.f(x) = e^x で定まるf ∈ F も{fk; k = 0,...,N} の線形結合では表せません. 質問: 基底の存在しないベクトル空間とは要するにRn (n = 1) のことですか?どんなベクトル空間にも基底はあるのが普通ですよね. お答え: 普通ではありません.この授業で扱うのはほとんどが有限次元,というだけのことです. そして無限次元ベクトル空間にもいろいろなものがあり,単純にR1 と書くことはほとんどありません.ここでは深入りしませんが. 質問: ベクトル空間が基底をもたないとはどういうことですか?基底をもたないということがあるのですか? お答え: 例をあげたはず.F は基底をもちません. (引用終り) 確かに、この問答は、あまり教育的ではないね 「R 上の無限次元ベクトル空間となる」と、「例をあげたはず.F は基底をもちません」とは、アンマッチだね 「F は”有限”基底をもちません」と言えばよかったね でも、下記の関数空間に、関係してくるから、深入りしたくなかったのかも ”Hamel(ハメル)基底”とか話をしだすと、収拾つかないと思ったかも https://math-note.xyz/set-and-topological-space/set-theory/application-of-hamel-basis/#fxyfxfy あーるえぬ|数学のあれこれ ハメル基底とf(x+y)=f(x)+f(y)をみたす関数 2017/10/16 つづく http://rio2016.5ch.net/test/read.cgi/math/1595166668/692
693: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/08/26(水) 18:33:24.33 ID:xagmva3J >>692 つづき https://ja.wikipedia.org/wiki/%E9%96%A2%E6%95%B0%E7%A9%BA%E9%96%93 関数空間 (抜粋) 概要 関数空間はもとの空間の様々な性質を自然な形で内包しており、素性のよい空間であれば、その関数空間からもとの空間を「復元」することができる。通常、考察の対象となる関数は実数値関数や複素数値関数のように終域を共有するものである。 関数の終域として、必要に応じて特定の体や環といった代数系をとることになるが、それにより関数空間にはベクトル空間や環上の加群の構造があらかじめ与えられていると考えることができる。もとの空間が代数的なものでなくても、関数空間へ移れば代数的な操作を利用した考察が可能となるということが、関数空間を考える動機のひとつである。つまり、関数空間の代数的な性質をもとの空間に還元してやることで、それまでには知られていなかった性質が発見されたり、逆にもとの空間の幾何学的な構造を関数空間に移して考えることで、ある種の代数系の性質が決定されることを知ったりするのである。 [注釈 1] 一般化または追加の構造 ・函数環(英語版): 函数の成す線型空間に積を入れて線型環としたもの ・環付き空間 / 概型: 空間とその上の函数空間を組として捉える見方を抽象化する概念 つづく http://rio2016.5ch.net/test/read.cgi/math/1595166668/693
694: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/08/26(水) 18:33:45.39 ID:xagmva3J >>693 つづき (上記の”函数環(英語版)”のリンクが下記) https://en.wikipedia.org/wiki/Banach_function_algebra Banach function algebra (抜粋) In functional analysis a Banach function algebra on a compact Hausdorff space X is unital subalgebra, A of the commutative C*-algebra C(X) of all continuous, complex valued functions from X, together with a norm on A which makes it a Banach algebra. Theorem: A Banach function algebra is semisimple (that is its Jacobson radical is equal to zero) and each commutative unital, semisimple Banach algebra is isomorphic (via the Gelfand transform) to a Banach function algebra on its character space (the space of algebra homomorphisms from A into the complex numbers given the relative weak* topology). If the norm on A is the uniform norm (or sup-norm) on X, then A is called a uniform algebra. Uniform algebras are an important special case of Banach function algebras. (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1595166668/694
695: 現代数学の系譜 雑談 ◆yH25M02vWFhP [sage] 2020/08/26(水) 18:45:07.61 ID:xagmva3J >>690 >まず、一般の環について「零因子を持たない」と「0以外の元に逆元が存在して、積が群になる」は同値ではありません >整数環がいい例です 零因子はありませんが、1とー1以外の元には逆元がありません うん だが、零因子でなければ、逆元を追加できるよね つまり、整数環に逆元を追加してやれば、有理数体が構成できるよね だから、”逆元を追加できる”という条件下では、同値? >>691 ありがと ちらっと見た 1974か、ちょっと古いけど Categoryも入っているね(^^ http://rio2016.5ch.net/test/read.cgi/math/1595166668/695
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.029s