Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!news.daionet.gr.jp!news.yamada.gr.jp!newsfeed.media.kyoto-u.ac.jp!oix.u-ryukyu.ac.jp!u-ryukyu.ac.jp!ie.u-ryukyu.ac.jp!not-for-mail
From: kono@ie.u-ryukyu.ac.jp (Shinji KONO)
Newsgroups: fj.sci.math
Subject: Re: =?ISO-2022-JP?B?UXVpel8wNml2MjAwNBskQiFKMnJFeiFLGyhC?=
Date: Wed, 26 May 2004 16:14:46 +0000 (UTC)
Organization: Information Engineering, University of the Ryukyus
Lines: 31
Message-ID: <3989793news.pl@insigna.ie.u-ryukyu.ac.jp>
References: <800c7853.0404130611.3be17e79@posting.google.com> <800c7853.0404261928.68658456@posting.google.com>
    <c6u25p$10h$1@nr1.vectant.ne.jp> <c6u2ik$10h$2@nr1.vectant.ne.jp> <800c7853.0405051641.611172c9@posting.google.com> <c7dpit$3n$1@nr1.vectant.ne.jp>
    <800c7853.0405071024.3ef9ca4f@posting.google.com> <c7glbo$64p$1@nr1.vectant.ne.jp> <c7hi2m$q5l$1@nr1.vectant.ne.jp> <c7hk9s$rvu$1@nr1.vectant.ne.jp>
    <40A730B7.4070106@slis.tsukuba.ac.jp> <40B2325C.3060907@slis.tsukuba.ac.jp> <040525171518.M01115131@ims.kit.ac.jp> <40B46835.3030403@slis.tsukuba.ac.jp>
    <040527000005.M01473721@ims.kit.ac.jp>
NNTP-Posting-Host: insigna.ie.u-ryukyu.ac.jp
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-2022-jp"
Content-Transfer-Encoding: 7bit
X-Trace: naha.ie.u-ryukyu.ac.jp 1085588086 20273 133.13.48.71 (26 May 2004 16:14:46 GMT)
X-Complaints-To: news-admin@ie.u-ryukyu.ac.jp
NNTP-Posting-Date: Wed, 26 May 2004 16:14:46 +0000 (UTC)
X-Image-URL: http://www.ie.u-ryukyu.ac.jp/~kono/skono.gif
Fcc: send
X-Newsreader:  news.pl,v 1.11 2003/10/08 11:51:01 
Content-ID: <15387.1085588088.1@insigna.ie.u-ryukyu.ac.jp>
Xref: ccsf.homeunix.org fj.sci.math:1150

河野真治 @ 琉球大学情報工学です。

In article <040527000005.M01473721@ims.kit.ac.jp>, chiaki@kit.ac.jp (Tsukamoto Chiaki) writes
> 多変数の場合で良く分かるように, 関数の微分というのは実数
> に値を取るのではなく, (接空間ではなく, 接空間から実数への
> 線形写像全体である)余接空間というベクトル空間に値を取る
> ものです.

微分形式っていう方がカッコ良いなぁ。

変分も、そういう空間に値を取るものっていう風になるんでしょうか?
変分の方が簡単だって言うなら、変分を使って微分を定義するっていう
方法もあるんだろうな。

> そういう実数値関数でないものの「微分」を定義もなしに導入する
> とは高木貞治もエムシラ……もとい, 初学者が混乱しないようにか,
> 混乱しても構わないとしてか, 曖昧な書き進め方をした責めはある
> だろうと思います.

でも、微分を説明するときには、必ず、接線を引きますよね。その
接線とは、もちろん、その点を通る直線の集合の値の一つなわけで
しょ? そこで、「なんで、直線がでてくるんだ?」と疑問を持つ方が
普通なのか、それとも、「微分と言うのは接線のことなんだ」と
納得するのが普通なのか... 

僕は、後者の方が自然だと思う方なので、なので、微分を教えるっ
てことは、微分形式を教えることなんだと僕は思ってます。

---
Shinji KONO @ Information Engineering, University of the Ryukyus
河野真治 @ 琉球大学工学部情報工学科