| http://dbpedia.org/ontology/abstract
|
数学において、ブラウワーの不動点定理の一般化である無限次元空間における不動点定理（む … 数学において、ブラウワーの不動点定理の一般化である無限次元空間における不動点定理（むげんじげんくうかんにおけるふどうてんていり、英: Fixed-point theorems in infinite-dimensional spaces）は数多く存在する。それらは例えば、偏微分方程式の解に対する存在定理の証明に応用される。 この分野における第一の結果は、1930年にによって証明されたシャウダーの不動点定理である（別の流派におけるそれ以前の結果として、1922年に証明された完備距離空間における縮小写像に対するバナッハの不動点定理がある）。これ以降、多くの結果が証明された。この種の不動点定理が数学の分野全体に多大な影響を持つこととなった一つの理由は、有限の単体的複体に対してはじめに証明される代数的位相幾何学の手法を、無限次元の空間に対して拡張することの出来る手法の存在であった。例えば、層論を発見したジャン・ルレイの研究は、シャウダーの業績を拡張することから始まった。 シャウダーの不動点定理: C を、バナッハ空間 V の空でない閉凸部分集合とする。f : C → C がコンパクトな像を持つ連続函数であるなら、f は不動点を持つ。 チホノフの不動点定理: V を局所凸位相ベクトル空間とし、V 内の空でない任意のコンパクト凸集合 X に対して、任意の函数 f : X → X は不動点を持つ。 その他の結果として、マルコフ＝角谷の不動点定理（1936-1938）や、コンパクト凸集合の連続自己アフィン写像に対するリル＝ナウゼウスキの不動点定理（1967）、開領域の正則自己写像に対する（1968）などがある。 角谷の不動点定理: 局所凸空間のコンパクトな凸部分集合からそれ自身への写像で、像が閉グラフかつ凸で空でないようなすべての対応は、不動点を持つ。それ自身への写像で、像が閉グラフかつ凸で空でないようなすべての対応は、不動点を持つ。
, In mathematics, a number of fixed-point th … In mathematics, a number of fixed-point theorems in infinite-dimensional spaces generalise the Brouwer fixed-point theorem. They have applications, for example, to the proof of existence theorems for partial differential equations. The first result in the field was the Schauder fixed-point theorem, proved in 1930 by Juliusz Schauder (a previous result in a different vein, the Banach fixed-point theorem for contraction mappings in complete metric spaces was proved in 1922). Quite a number of further results followed. One way in which fixed-point theorems of this kind have had a larger influence on mathematics as a whole has been that one approach is to try to carry over methods of algebraic topology, first proved for finite simplicial complexes, to spaces of infinite dimension. For example, the research of Jean Leray who founded sheaf theory came out of efforts to extend Schauder's work. Schauder fixed-point theorem: Let C be a nonempty closed convex subset of a Banach space V. If f : C → C is continuous with a compact image, then f has a fixed point. Tikhonov (Tychonoff) fixed-point theorem: Let V be a locally convex topological vector space. For any nonempty compact convex set X in V, any continuous function f : X → X has a fixed point. Browder fixed-point theorem: Let K be a nonempty closed bounded convex set in a uniformly convex Banach space. Then any non-expansive function f : K → K has a fixed point. (A function is called non-expansive if for each and .) Other results include the Markov–Kakutani fixed-point theorem (1936-1938) and the Ryll-Nardzewski fixed-point theorem (1967) for continuous affine self-mappings of compact convex sets, as well as the Earle–Hamilton fixed-point theorem (1968) for holomorphic self-mappings of open domains. Kakutani fixed-point theorem: Every correspondence that maps a compact convex subset of a locally convex space into itself with a closed graph and convex nonempty images has a fixed point. convex nonempty images has a fixed point.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://planetmath.org/encyclopedia/TychonoffFixedPointTheorem.html +
|
| http://dbpedia.org/ontology/wikiPageID
|
638186
|
| http://dbpedia.org/ontology/wikiPageInterLanguageLink
|
http://fr.dbpedia.org/resource/Th%C3%A9or%C3%A8me_du_point_fixe_de_Schauder +
|
| http://dbpedia.org/ontology/wikiPageLength
|
3125
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1087274858
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Ryll-Nardzewski_fixed-point_theorem +
, http://dbpedia.org/resource/Nonempty +
, http://dbpedia.org/resource/Sheaf_theory +
, http://dbpedia.org/resource/Banach_fixed-point_theorem +
, http://dbpedia.org/resource/Kakutani_fixed-point_theorem +
, http://dbpedia.org/resource/Jean_Leray +
, http://dbpedia.org/resource/Banach_space +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Convex_set +
, http://dbpedia.org/resource/Compact_set +
, http://dbpedia.org/resource/James_Dugundji +
, http://dbpedia.org/resource/Topological_degree_theory +
, http://dbpedia.org/resource/Fixed_point_%28mathematics%29 +
, http://dbpedia.org/resource/Contraction_mapping +
, http://dbpedia.org/resource/Algebraic_topology +
, http://dbpedia.org/resource/Uniformly_convex_Banach_space +
, http://dbpedia.org/resource/Locally_convex_topological_vector_space +
, http://dbpedia.org/resource/Closed_set +
, http://dbpedia.org/resource/Continuous_function +
, http://dbpedia.org/resource/Earle%E2%80%93Hamilton_fixed-point_theorem +
, http://dbpedia.org/resource/Simplicial_complex +
, http://dbpedia.org/resource/Juliusz_Schauder +
, http://dbpedia.org/resource/Existence_theorem +
, http://dbpedia.org/resource/Metric_spaces +
, http://dbpedia.org/resource/Markov%E2%80%93Kakutani_fixed-point_theorem +
, http://dbpedia.org/resource/Schauder_fixed-point_theorem +
, http://dbpedia.org/resource/Brailey_Sims +
, http://dbpedia.org/resource/Brouwer_fixed-point_theorem +
, http://dbpedia.org/resource/Category:Fixed-point_theorems +
, http://dbpedia.org/resource/Partial_differential_equation +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Isbn +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Fixed-point_theorems +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Fixed-point_theorems_in_infinite-dimensional_spaces?oldid=1087274858&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Fixed-point_theorems_in_infinite-dimensional_spaces +
|
| owl:sameAs |
https://global.dbpedia.org/id/fbxG +
, http://www.wikidata.org/entity/Q17089994 +
, http://yago-knowledge.org/resource/Fixed-point_theorems_in_infinite-dimensional_spaces +
, http://ja.dbpedia.org/resource/%E7%84%A1%E9%99%90%E6%AC%A1%E5%85%83%E7%A9%BA%E9%96%93%E3%81%AB%E3%81%8A%E3%81%91%E3%82%8B%E4%B8%8D%E5%8B%95%E7%82%B9%E5%AE%9A%E7%90%86 +
, http://dbpedia.org/resource/Fixed-point_theorems_in_infinite-dimensional_spaces +
|
| rdf:type |
http://dbpedia.org/class/yago/WikicatTheoremsInTopology +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/WikicatFixed-pointTheorems +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Theorem106752293 +
, http://dbpedia.org/class/yago/Statement106722453 +
, http://dbpedia.org/class/yago/Message106598915 +
, http://dbpedia.org/class/yago/Proposition106750804 +
|
| rdfs:comment |
数学において、ブラウワーの不動点定理の一般化である無限次元空間における不動点定理（む … 数学において、ブラウワーの不動点定理の一般化である無限次元空間における不動点定理（むげんじげんくうかんにおけるふどうてんていり、英: Fixed-point theorems in infinite-dimensional spaces）は数多く存在する。それらは例えば、偏微分方程式の解に対する存在定理の証明に応用される。 この分野における第一の結果は、1930年にによって証明されたシャウダーの不動点定理である（別の流派におけるそれ以前の結果として、1922年に証明された完備距離空間における縮小写像に対するバナッハの不動点定理がある）。これ以降、多くの結果が証明された。この種の不動点定理が数学の分野全体に多大な影響を持つこととなった一つの理由は、有限の単体的複体に対してはじめに証明される代数的位相幾何学の手法を、無限次元の空間に対して拡張することの出来る手法の存在であった。例えば、層論を発見したジャン・ルレイの研究は、シャウダーの業績を拡張することから始まった。 シャウダーの不動点定理: C を、バナッハ空間 V の空でない閉凸部分集合とする。f : C → C がコンパクトな像を持つ連続函数であるなら、f は不動点を持つ。 チホノフの不動点定理: V を局所凸位相ベクトル空間とし、V 内の空でない任意のコンパクト凸集合 X に対して、任意の函数 f : X → X は不動点を持つ。意のコンパクト凸集合 X に対して、任意の函数 f : X → X は不動点を持つ。
, In mathematics, a number of fixed-point th … In mathematics, a number of fixed-point theorems in infinite-dimensional spaces generalise the Brouwer fixed-point theorem. They have applications, for example, to the proof of existence theorems for partial differential equations. Schauder fixed-point theorem: Let C be a nonempty closed convex subset of a Banach space V. If f : C → C is continuous with a compact image, then f has a fixed point. Tikhonov (Tychonoff) fixed-point theorem: Let V be a locally convex topological vector space. For any nonempty compact convex set X in V, any continuous function f : X → X has a fixed point.uous function f : X → X has a fixed point.
|
| rdfs:label |
Fixed-point theorems in infinite-dimensional spaces
, 無限次元空間における不動点定理
|
