最熱門影片(4/22 10:03)

• 

  線形代數學演習① ～ 複素行列の實部・虚部とは？ ～ ( ヒルベルト空間上の有界線形寫像のデカルト分解 )

  ヒルベルト空間上の有界線形寫像を自己共役寫像を用いて一意的に分解するデカルト分解において、特に、ヒルベルト空間として複素正方行列の集合を考えた場合、行列の實部・虚部の概念が與えられることを確認するとともに、複素數に對する通常の實部・虚部との違いを考察する。●Instagram  / wadakowada  ●Twitter  / kingniwaka  ●note#線形代數學 #エ

• 

  距離空間 第二⑨ ~ ハイネ-ボレルの被覆定理 (1) ~

  今回は、ハイネ-ボレルの被覆定理の主張と、そのユークリッド空間への系を述べるととともに、その證明に必要となる一つの補題を示します。具體的に、距離空間上の全有界な閉集合は、任意のεに對し、その集合の分割で、各集合が閉集合となるような特別なε-網が取れることを示します。●Instagram  / wadakowada  ●Twitter  / kingniwaka  ●note

• 

  解析學演習⑬ ~ 8種類の ε - n 論法 ~

  今回は、量化子の取り方を８種類に分けて數列の極限を定義し直す場合、それらの強弱を明らかにし、そのことにより、通常の數列の極限がある意味で自然な定義と言えることを實感する。●Instagram  / wadakowada  ●Twitter  / kingniwaka  ●note#εn論法 #εδ論法 #數列の極限 #ワイエルシュトラス

• 

  集合論演習② ~ 距離空間上の閉包による集合の直徑の不變性 ~

  集合論の演習②です。距離空間上の有界な集合に對し、その閉包も有界となり、かつ兩者の直徑は一致することを示します。●Instagram  / wadakowada  ●Twitter  / kingniwaka  ●note#集合論 #距離空間 #閉包 #觸點 #直徑

• 

  空集合から空集合への寫像 ～ ブルバキによる、定義域、値域、グラフの三つ組みによる寫像の定義 ～

  17-18世紀、19世紀、20世紀初頭における寫像(關數)の定義の變遷をお話した後に、ブルバキによる、定義域、値域、グラフの三つ組みによる寫像の定義に基づいて、空集合から空集合への寫像(空寫像)の存在を確認します。●Instagram  / wadakowada  ●Twitter  / kingniwaka  ●note#寫像 #關數 #公理的集合論 #定義域・値域・グラフ

• 

  カントールの定理 ～ 未解決問題 パルチザン問題への序章 ～

  一般化された對角線論法を用いて、カントールの定理を證明します。單射を用いたものと、全射を用いたものがありますが、どちらもZF公理系の枠組みで證明可能であることを確認します。最後に、未解決問題である、パルチザン問題にも少し觸れますが、同問題については次回の動畫で改めて、より詳しくお話します。●Instagram  / wadakowada  ●Twitter  / kingniwaka  

• 

  集合論演習④ ~ 無限集合の2つの定義 ~

  集合論の演習④です。選擇公理を用いて、無限集合Aの2つの定義である、①任意の自然數濃度をもつ、Aの部分有限集合の存在②任意の自然數に對し、全單射f：{1,...,n}→Aの非存在の同値性を示します。※デデキント無限集合との關係は別の動畫でお話します。●Instagram  / wadakowada  ●Twitter  / kingniwaka  ●note#集合論 #選擇

• 

  シェファー記號の完全性 ～ 集合の相當の否定論理積を用いた表現 ～

  命題論理における論理演算子である、否定、論理和、論理積、含意、同値を統一的に表現するシェファー記號(否定論理積)の定義を確認するとともに、集合の相當のシェファー記號のみを用いた表現を與えます。●Instagram  / wadakowada  ●Twitter  / kingniwaka  ●note#論理學 #命題論理 #シェファー記號 #否定論理積 #集合論

• 

  集合論演習③ ~ 可算和定理の證明(2) ~

  集合論の演習③です。前回の續きで、可算個の可算集合がまた可算集合になることの證明を完結させます。●Instagram  / wadakowada  ●Twitter  / kingniwaka  ●note#集合論 #可算集合 #可算和定理 #非可算集合 #濃度 #カントールの定理

• 

  集合論演習③ ~ 可算和定理の證明(1) ~

  集合論の演習③です。可算個の可算集合がまた可算集合になることを示します。今回と次回の2回に分けて完全な證明を與えます。●Instagram  / wadakowada  ●Twitter  / kingniwaka  ●note#集合論 #可算集合 #可算和定理 #非可算集合 #濃度 #カントールの定理