斉次函数のソースを表示
←
斉次函数
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
[[数学]]における'''斉次函数'''（せいじかんすう、{{lang-en-short|''homogeneous function''}}）<ref>'''同次関数'''とも呼ぶ</ref>は、拡大縮小に関して「引数に因数が掛かれば値にその因子の適当な冪が掛かる」という乗法的な振る舞いをする函数をいう。よりはっきり書けば、[[可換体|体]] ''F'' 上の二つの[[ベクトル空間]] ''V'', ''W'' の間の写像 {{nowrap|ƒ: ''V'' → ''W''}} と整数 ''k'' に対して、写像 ƒ が斉 ''k''-次（斉次次数 ''k''）であるまたは ''k''-次の斉次性を持つとは、 : <math> f(\alpha \mathbf{v}) = \alpha^k f(\mathbf{v}) </math> を任意の零でないスカラー {{nowrap|''α'' ∈ ''F''}} とベクトル {{nowrap|'''''v''''' ∈ ''V''}} に対して満たすことをいう。扱うベクトル空間が実係数の場合には、斉次性をもう少し一般にして、任意の ''α'' > 0 に対して上式を満たすことのみを仮定する場合も多い。 斉次函数はベクトル空間から原点を取り去ったものの上で定義することもでき、この事実は[[代数幾何学]]において[[射影空間]]上の[[層 (数学)|層]]の定義において用いられている。より一般に、''S'' ⊂ ''V'' が体の元によるスカラー乗法で不変な部分空間（「錐」）であるとき、''S'' から ''W'' への斉次函数がやはり同じ式で定義できる。 == 例示 == [[File:HomogeneousDiscontinuousFunction.gif|thumb|この例のように、斉次函数は必ずしも[[連続函数]]ではない。この ''f'' は : <math>f(x,y)=\begin{cases} x & \text{if }xy>0\\ 0 &\text{if }xy \leq 0\end{cases}</math> で定義される函数である。この函数は斉 1-次、即ち ''f''(α(''x'',''y'')) = α''f''(''x'',''y'') を任意の実数 α および ''x'', ''y'' に対して満たす。この函数は ''y'' = 0 において不連続である。]] === 線型写像 === 任意の[[線型写像]] {{nowrap|''ƒ'': ''V'' → ''W''}} は定義に云う線型性 :<math>f(\alpha \mathbf{v})=\alpha f(\mathbf{v})\quad (\alpha\in F, v\in V)</math> によって次数 1 の斉次性を持つ。同様に、[[多重線型写像]] {{nowrap|''ƒ'': ''V''<sub>1</sub> × ''V''<sub>2</sub> × … × ''V''<sub>''n''</sub> → ''W''}} は重線型性の定義により :<math>f(\alpha(\mathbf{v}_1,\ldots,\mathbf{v}_n))=f(\alpha \mathbf{v}_1,\ldots,\alpha \mathbf{v}_n)=\alpha^n f(\mathbf{v}_1,\ldots, \mathbf{v}_n)</math> を満たすから、斉次次数 ''n'' の斉次函数である。ここから、二つの[[バナッハ空間]] ''X'' と ''Y'' の間の函数{{nowrap|''ƒ'': ''X'' → ''Y''}} の ''n''次-[[ガトー微分]]が斉 ''n''次であることが従う。 === 斉次多項式 === {{main|斉次多項式 (代数幾何学)}} ''n''-変数の[[単項式]]は斉次函数 {{nowrap|''ƒ'': ''F''<sup>''n''</sup> → ''F''}} を定める。例えば :<math>f(x,y,z)=x^5y^2z^3</math> が次数 10 の斉次函数であることは :<math>f(\alpha(x,y,z))=f(\alpha x, \alpha y, \alpha z) = (\alpha x)^5(\alpha y)^2(\alpha z)^3=\alpha^{10}x^5y^2z^3 = \alpha^{10} f(x,y,z)</math> からわかる。単項式の（斉次）次数は各変数の冪指数の総和に等しい（今の例だと 10=5+2+3）。 斉次多項式は同じ次数の単項式の和として得られるものを言う。例えば :<math>x^5 + 2 x^3 y^2 + 9 x y^4</math> は 5-次の斉次多項式である。斉次多項式もまた斉次函数を定める。 === 偏極化 === ベクトル空間 ''V'' の ''n''-次[[直積集合|デカルト冪]]から係数体 ''F'' への多重線型写像 {{nowrap|''g'': ''V'' × ''V'' × … × ''V'' → ''F''}} に対して、対角集合上での評価 :<math>f(v) = g(v,v,\dots,v)</math> によって斉次函数 {{nowrap|ƒ: ''V'' → ''F''}} が生じる。得られた函数 ƒ はベクトル空間 ''V'' 上の[[多項式函数]]である。逆に、係数体 ''F'' が標数 0 ならば、''V'' 上の斉 ''n''-次の多項式 ƒ が与えられたとき、ƒ の極化は ''V'' の ''n''-次デカルト冪上の多重線型写像 {{nowrap|''g'': ''V'' × ''V'' × ... ''V'' → ''F''}} になる。ただし、極化とは :<math>g(v_1,v_2,\dots,v_n) = \frac{1}{n!} \frac{\partial}{\partial t_1}\frac{\partial}{\partial t_2}\cdots \frac{\partial}{\partial t_n}f(t_1v_1+\cdots+t_nv_n)</math> で与えられるものを言う。これら二つの構成法は、一方は多重線型写像から斉次多項式を作るもので、他方は斉次多項式から多重線型写像を作るものだが、互いに逆の操作になっている。有限次元の場合、これを用いて ''V''<sup>∗</sup> の[[対称代数]] ''S''(''V'') から ''V'' 上の斉次多項式環 ''F''[''V''] への[[次数付き線型空間]]の同型が示される。 === 斉次有理函数 === 二つの'''斉次'''多項式の比として表される[[有理函数]]は、分母の零点の軌跡によって切り取られる[[アフィン錐]]上の斉次函数になる。そして、''f'' が斉次次数 ''m'' で ''g'' の斉次次数が ''n'' とすれば、有理函数 ''f''/''g'' の斉次次数は ''g'' が 0 となる点を除いて ''m'' − ''n'' になる。 == 斉次でない例== === 対数函数 === 自然対数函数 ln(''x'') は拡大縮小に関して加法的に振る舞うため斉次函数ではない。 これを見るには、例えば : <math>\begin{align} \ln(5x) &= \ln(5) + \ln(x),\\ \ln(10x)&= \ln(10)+ \ln(x),\\ \ln(15x)&= \ln(15)+ \ln(x) \end{align}</math> などから、ln(''αx'') = ''α<sup>k</sup>''ln(''x'') なる ''k'' が存在しないことがわかる。 === 一次函数 === 一般に一次函数（例えば函数 ''f''(''x'') = ''x'' + 5）は乗法的に拡大縮小しない。 == 正斉次性 == 実線型空間に関する特別の場合に、上で述べたような斉次性の代わりに、正斉次性 (positive homogeneity) の概念がしばしば重要な役割を果たす。函数 {{nowrap|ƒ: ''V'' ∖ {0} → '''R'''}} が正値斉 ''k'' -次であるとは :<math>f(\alpha x) = \alpha^k f(x)</math> を任意の正数 {{nowrap|α > 0}} に対して満たすことをいう。ここで ''k'' は任意の複素数としてよい。'''R'''<sup>''n''</sup> ∖ {0} 上の（零写像でない）正斉 ''k''-次連続函数は、{{nowrap|Re{''k''} > 0}} を満たすとき、かつそのときに限り '''R'''<sup>''n''</sup> まで連続的に延長できる。 正斉次函数は'''オイラーの斉次函数定理'''<ref>英名は、Euler's homogeneous function theorem。日本語では同次関数に関する'''オイラーの定理'''と呼ぶことがある。</ref>によって特徴づけられる。函数 {{nowrap|ƒ: '''R'''<sup>''n''</sup> ∖ {0} → '''R'''}} は[[連続的微分可能]]であるものとすると、 ƒ が ''k''-次の正斉次性を持つための必要十分条件は :<math> \mathbf{x} \cdot \nabla f(\mathbf{x})= kf(\mathbf{x})</math> を満たすことである。この結果は、方程式 {{nowrap|1=''ƒ''(''α'''''y''') = ''α''<sup>''k''</sup>''ƒ''('''y''')}} の両辺を ''α'' に関して同時に微分し、[[連鎖法則|連鎖律]]を適用することにより得られる。逆もまた積分により成立が確かめられる。 この帰結として、{{nowrap|ƒ: '''R'''<sup>''n''</sup> → '''R'''}} が[[可微分函数|可微分]]かつ斉 ''k''-次であるものとすると、各一階偏導函数 ∂''f''/∂''x''<sub>''i''</sub> は次数 ''k'' − 1 の斉次性を持つ。このことは、作用素 ''x'' · ∇ と偏微分との交換性により、先のオイラーの定理から得られる。 == 斉次超函数 == {{main|斉次シュヴァルツ超函数}} '''R'''<sup>''n''</sup> 上の[[コンパクト台]]つき連続函数 ƒ が斉 ''k''-次であるための必要十分条件は :<math>\int_{\mathbb{R}^n} f(tx)\varphi(x)\, dx = t^k \int_{\mathbb{R}^n} f(x)\varphi(x)\, dx</math> が任意のコンパクト台[[試験函数]] ''φ'' と非零実数 ''t'' に対して満たすことである。同じことだが、[[置換積分|変数変換]] {{nowrap|1=''y'' = ''tx''}} を行えば、ƒ が斉 ''k''-次であるための必要十分条件は :<math>t^{-n}\int_{\mathbb{R}^n} f(y)\varphi(y/t)\, dy = t^k \int_{\mathbb{R}^n} f(y)\varphi(y)\, dy</math> を任意の ''t'' と試験函数 ''φ'' について満たすことと言い直せる。こうすれば[[シュヴァルツ超函数]]の斉次性を定義するのに利用できる。即ち、シュヴァルツ超函数 ''S'' が斉 ''k''-次であるとは :<math>t^{-n}\langle S, \varphi\circ\mu_t\rangle = t^k\langle S,\varphi\rangle</math> を任意の非零実数 ''t'' と試験函数 ''φ'' に対して満たすことを言う。ここに、山括弧 ⟨⟩ はシュヴァルツ超函数と試験函数の間の双対性内積を表し、また {{nowrap|''μ''<sub>''t''</sub>: '''R'''<sup>''n''</sup> → '''R'''<sup>''n''</sup>}} は実数 ''t'' によるスカラー乗法作用素を表す。 == 同次形微分方程式 == :{{main|同次微分方程式}} ''I'' および ''J'' が同じ次数の斉次函数であるとき、[[常微分方程式]] : <math>I(x, y)\frac{dy}{dx} + J(x,y) = 0</math> は ''v'' = ''y''/''x'' なる置換によって、[[変数分離形常微分方程式]] :<math>x \frac{dv}{dx}=-\frac{J(1,v)}{I(1,v)}-v</math> に変換される。 == 関連項目 == * [[ヴァイエルシュトラスの楕円函数]] * [[三角形の中心函数]] * [[生産関数]] == 参考文献 == *{{cite book | author=Blatter, Christian | title=Analysis II (2nd ed.) | publisher=Springer Verlag | year=1979 |language=German |isbn=3-540-09484-9 | pages=188 | chapter=20. Mehrdimensionale Differentialrechnung, Aufgaben, 1.}} == 脚注 == {{Reflist}} == 外部リンク == * {{PlanetMath|id=6381|title=Homogeneous function}} {{デフォルトソート:せいしかんすう}} [[Category:線型代数学]] [[Category:微分作用素]] [[Category:多項式関数]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Cite book
(
ソースを閲覧
)
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:Main
(
ソースを閲覧
)
テンプレート:Nowrap
(
ソースを閲覧
)
テンプレート:PlanetMath
(
ソースを閲覧
)
テンプレート:Reflist
(
ソースを閲覧
)
斉次函数
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報