Mathematics – ページ 7 – 解析タネル

covering map

2015年9月22日2014年5月23日 by icefog

論証を既に終え、正当性が認められた数学的形式的手続きを「計算」と呼ぶことにしよう。その計算手続きが極めて煩雑になり、記法・表現が重複していたり多様であったりすると、計算上の間違いは回避が難しいだろう。それを回避するた … 続きを読む

2024年8月26日2014年5月18日 by icefog

夜から読み始めていつの間にか朝になっていた。そのタイトルと包装からして固い、カチコチの数学書ですが、それだけでは想像もつかない内容で、実に教科書で感動するというのは久々です。アールフォルス氏の書く内容は、数学への極め … 続きを読む

2024年8月26日2014年4月21日 by icefog

（濃い目の）コーヒーを一日３杯飲んだら、熱くないのに汗をかき、異様な脱力状態に陥ったという・・・以下検定で時間が足りなかった問題. ——————& … 続きを読む

2015年10月19日2014年4月16日 by icefog

数学とは全く関係の無い用事で忙しくしてます。腰を据えてじっくり取り組める時間が欲しい。 Lemma 1.1: Aを(可換)環, Iを冪零元から成るイデアルとする. a∈AのA/Iにおける像が単元なら, aはAの単元であ … 続きを読む

2021年9月26日2014年2月25日 by icefog

今年１月刊行の日本数学会『数学』によると、「解析的手法で証明されたものは正標数の手法で証明できる」という流れがあるらしい。小平の消滅定理の証明が1987年まで複素解析によるものしかなかったことを引き合いに出していたが … 続きを読む

2021年9月24日2014年2月24日 by icefog

走ることの最も遅いものですら最も速いものによって追い着かれないであろう。なぜなら追うものは、追い着く前に、逃げるものが走り始めた点に着かなければならず、したがって、より遅いものがいくらかは常に先んじていなければな … 続きを読む

2014年7月6日2013年11月25日 by icefog

予定を管理するのは携帯ではまずいのですね。電源が落ちそうなときに見れないとかなり面倒です。 12月に滋賀の高校に行くんですが、楽しみな一方、その準備に頭を痛めているのも事実。普段高校生は見慣れているけれど、多様性を持 … 続きを読む

2013年11月25日2013年11月9日 by icefog

最近は, ホモロジー代数でも構成の正しさを調べる手段が重要なことが多く, 特に代数的構成は詳しく知っておきたい. 命題：直和の構成とテンソル積の構成は可換である証明：同型を示せばOK. Balanced map を … 続きを読む

2013年11月25日2013年10月2日 by icefog

良い気候になってきましたな。先日岡本というところに行って来ました。なかなかに洒落た町並みで、京都のような大きさや華やかさはないものの、欧風の小道や店舗、カフェが立ち並んで小さな神戸という雰囲気が漂っていました。今日 … 続きを読む

2013年11月25日2013年9月12日 by icefog

先日プライベート・チェアという(ロッキング・チェアみたいに揺れる)、それなりにいい値段のする椅子を購入し、早く届かないかと心待ちにしている。初のチェスト(足置き)付きで、座った感じだと疲れを回復しながら眠ることもでき、一 … 続きを読む