|
数学の分野における''C''0-半群(''C''0-はんぐん、)あるいは強連続一パラメータ半群とは、指数関数のひとつの一般化である。線型のスカラー定数を係数とする常微分方程式の解が指数関数で与えるように、バナッハ空間における線型の定数係数常微分方程式の解は、強連続半群によって与えられる。そのようなバナッハ空間における微分方程式は、例えばや偏微分方程式の分野において現れる。 正式には、強連続半群とは、強作用素位相において連続なバナッハ空間 ''X'' 上の半群 (R+,+) の表現である。したがって、厳密に言うと、強連続半群は半群ではなく、むしろ非常に特殊な半群の連続的な表現と言える。'C''0-半群(''C''0-はんぐん、)あるいは強連続一パラメータ半群とは、指数関数のひとつの一般化である。線型のスカラー定数を係数とする常微分方程式の解が指数関数で与えるように、バナッハ空間における線型の定数係数常微分方程式の解は、強連続半群によって与えられる。そのようなバナッハ空間における微分方程式は、例えばや偏微分方程式の分野において現れる。 正式には、強連続半群とは、強作用素位相において連続なバナッハ空間 ''X'' 上の半群 (R+,+) の表現である。したがって、厳密に言うと、強連続半群は半群ではなく、むしろ非常に特殊な半群の連続的な表現と言える。 R+,+) の表現である。したがって、厳密に言うと、強連続半群は半群ではなく、むしろ非常に特殊な半群の連続的な表現と言える。 ==定義== バナッハ空間 上の強連続半群とは、次の性質を満たすような写像 のことである: # , ( 上の恒等作用素) # # , as . 初めの二つの公理は代数的なもので、 が半群 () の表現であることを意味している。最後の公理は位相的なものであり、写像 が強作用素位相において連続であることを意味している。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「C0半群」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 C0-semigroup 」があります。 スポンサード リンク
|