今日夕方、レストランに居たときの出来事。
隣のテーブルに座る、3才程の娘が大きな声で何か言ってるので気になって観て見ることにした。
娘は母親に向かってしきりに言う。
「口にものを入れたまましゃべらない!」
それはまるで、必死に懇願しているようだった。
母親はもう一人の娘と学校の話?をしている。
「口にものを入れたまましゃべらない!」
何度も大声で言われ、話の腰も折られて全く不愉快な母親は、「口にモノなんて入れてませーん!」と開き直り、一喝「うるさい!」
親の口癖を真似てるんだろうか, 注意するというよりは駄々をこねるように
「口にものを入れたまましゃべらない!」
…
「case by case」ということを教えてくれる大人が彼女の周りに現れる様、お節介にも願っているのであった。
さて、連日に渡って過去問に取り組んでいます。
忘れていたり、ぼんやりしていたところがあぶり出されて来ています。
2011数A [1]
(1)Fの表現行列を求める問題.とすれば, たかだか2次の実係数多項式全体の標準基底
について,
からFの表現行列は
(2) の次元を求める問題.
列ベクトル基準でと記すと, 条件から
すなわち
直ちに
であって

[1] I=[0,∞). 有界関数列がfに一様収束するという条件.
(1) fがI上有界であることの証明
有界性から任意のn∈NについてM/2>0が存在し, (但し
は一様ノルム). 一様収束性からこのM/2について十分大きな自然数
に対し,
ならば
すなわち であれば, 有限確定値であることにより, 数列の加減乗除と極限値における加減乗除とが交換できて, かつ一様収束性により
は任意であるから{a_n}はコーシー列である■
(3) (2)と同じ条件でなら
であることの証明. 一様収束性が, 関数列の各パラメータの極限を取る操作を交換可能にする十分条件となることを示す.
一様収束性と収束性から, 中辺第一項はnについて, 第二項はxについて十分大きな値を選んでおけば, 任意のε>0について
ここからとなるようnをとっておき, 直ちに
[3] 位相空間XからYへの写像fとそのグラフG(f)を
(1) fが連続, YがHausdorffならG(f)は積位相について閉集合であることの証明. 直積空間X×Yからグラフを除いた集合が積位相について開集合であることを示す. 任意に
をとれば, y≠f(x)であって, Yの開近傍
で
となるものが取れる(Hausdorffの公理).
であることとfが連続であることから,
となるXの開集合が存在する.
は構成の仕方から(x,y)を含むX×Y上の開集合であるが,
であるから


[4] 複素関数が次のように定義されている.

![Rendered by QuickLaTeX.com z=re^{it} \quad t\in [0,\pi]](https://blog.icefog.work/wp-content/ql-cache/quicklatex.com-b5da03cf73b710899c615e01b1868319_l3.png)

ここでg(z)は収束半径∞の正則関数で, 一様に有界であるので|g(z)|<Mとなる実数Mが存在する. このとき
(2) の値.

2011数B [1] n次ベクトル空間の内積を通常のものとして, R^nの基底を一組とり,
から生成されるZ加群を
とする. Z加群Mを




(2) MがZ加群としてに同型であることの証明. (1)で一意的に定まる
は, 明らかにMの基底を成す. 実際
を
とすると,
多様体M上のチェイン・ルールの特徴付けに関する考察
n次元多様体Mの一点pにおける二つの局所座標系について, 次の関係が成り立つ.
は接ベクトルであるからpの近傍上定義される
級実数値関数全体を
とすれば,
である. pの
に対応する座標近傍を
とするとき,
上定義される
級実数値関数をVの関数と考え, その一つをgとする.
と
は微分同相であるから, 微分同相
が存在し, 局所座標間の変換式を得る:
