12 関係: 反復関数系、実数、完備性、不動点、常微分方程式、一様連続、バナッハの不動点定理、リプシッツ連続、ピカールの逐次近似法、距離空間、関数 (数学)、英語。
反復関数系
IFSで作成されたシェルピンスキーのギャスケット 反復関数系(はんぷくかんすうけい、英: Iterated function system、IFS)はフラクタルの一種であり、一般に2次元のフラクタルの描画や計算に用いられる。IFSフラクタルは自身のいくつかのコピーの和集合から成り、各コピーは関数によって変形されている(そのため「関数系」と呼ばれる)。典型例としてはシェルピンスキーのギャスケットがある。その関数は一般に収縮写像であり、点の集合がより近くなり、形がより小さくなる。従ってIFSフラクタルは、自身の縮小コピーを(場合によっては重ね合わせて)まとめたものであり、各部を詳細に見れば、その部分もそれ自身の縮小コピーから構成されていて、これが永遠に続く。このため、フラクタルとしての自己相似性が生じる。.
新しい!!: 収縮写像と反復関数系 · 続きを見る »
実数
数学における実数(じっすう、 nombre réel, reelle Zahl, real number)は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
完備性
数学における完備性(かんびせい、completeness)は、様々な場面においてそれぞれの対象に関して特定の意味を以って考えられ、またそれぞれの意味において完備(かんび、complete)でない対象に対する完備化 (completion) と呼ばれる操作を考えることができる。complete は「完全」と訳されることもある。.
不動点
不動点を三つ持つ関数 数学において写像の不動点(ふどうてん)あるいは固定点(こていてん、fixed point, fixpoint)とは、その写像によって自分自身に写される点のことである。.
常微分方程式
常微分方程式(じょうびぶんほうていしき、ordinary differential equation, O.D.E.)とは、数学において、未知関数とその導関数からなる等式で定義される方程式である微分方程式の一種で、未知関数が本質的にただ一つの変数を持つものである場合をいう。すなわち、変数 の未知関数 に対して、(既知の)関数 を用いて という形にできるような関数方程式を常微分方程式と呼ぶ。 は未知関数 の 階の導関数である。未知関数が単独でない場合には、関数の組をベクトルの記法を用いて表せば次のようになる。 \left(\boldsymbol^(t).
新しい!!: 収縮写像と常微分方程式 · 続きを見る »
一様連続
一様連続(いちようれんぞく、uniformly continuous)は数学における関数に対する概念で、通常の連続性の概念を強めたものである。大雑把に言って、関数の連続性とは引数 x の変化が小さいと関数値 f(x) の変化も小さい事を指すが、このとき f(x) の変化の度合いが x の変化の度合いにのみ依存し、x の値自身にはよらなければ f は一様連続であるという。 すなわち一様連続性とは、f の定義域において x と y が十分近いことを要求するだけで( x の値によらず)、f(x) と f(y) が近い値をとることを保証していることを言う。 定義より一様連続な関数は連続であるが、逆は一般には成り立たない。 しかし定義域が有界閉区間であれば、その区間上連続な関数は一様連続である事が知られている(ハイネ・カントールの定理)。 一様連続性の定義はユークリッド空間や、それを一般化した概念である距離空間において定義される。 さらに一般に一様空間上でも定義可能である。.
バナッハの不動点定理
数学におけるバナッハの不動点定理(バナッハのふどうてんていり、)は、距離空間の理論において重要な役割を担う不動点定理であり、縮小写像の定理あるいは縮小写像の原理としても知られる。この定理はある自己写像の不動点の存在と一意性を保証するものであり、そのような不動点の構成法を提供するものである。1922年に初めて提唱したステファン・バナッハ(1892-1945)の名にちなむ。.
新しい!!: 収縮写像とバナッハの不動点定理 · 続きを見る »
リプシッツ連続
解析学におけるリプシッツ連続性(リプシッツれんぞくせい、Lipschitz continuity)は、に名を因む、函数のより強い形の一様連続性である。直観的には、リプシッツ連続函数は変化の速さが制限される。即ち、適当な有限値の実数が存在して、その函数のグラフ上の任意の二点を結ぶ直線の傾きの絶対値はその実数を超えない。この上界をその函数の「リプシッツ定数」(あるいは)と呼ぶ。例えば一階微分が有界な任意の函数はリプシッツである。 微分方程式論において、リプシッツ連続性は初期値問題の解の存在と一意性を保証するの中心的な条件である。リプシッツ連続性の特別な場合で、縮小性はバナッハの不動点定理において用いられる。 実数直線の有界閉集合上で定義される函数に関して、以下のような包含関係の鎖が知られている: また、 も成り立つ。.
新しい!!: 収縮写像とリプシッツ連続 · 続きを見る »
ピカールの逐次近似法
解析学において、ピカールの逐次近似法(ピカールのちくじきんじほう、Picard iteration)とは、常微分方程式の初期値問題に対し、解に一様収束する関数列を構成する手法。常微分方程式の初期値問題と同値な積分方程式に基づき、関数列を逐次的に構成する。常微分方程式の解の存在と一意性に関する基礎定理の証明に用いられる。より一般的な距離空間論の観点からは、この逐次近似列の構成法は縮小写像に対応しており、逐次近似法で得られる解は反復合成写像の不動点として捉えられる。ピカールの逐次近似法という名は19世紀のフランスの数学者エミール・ピカールに因む。ピカールは逐次近似の手法を発展させ、現在、常微分方程式の解の存在と一意性の理論で一般的に用いられる証明の論法を確立させたA. N. Kolmogorov & A. P. Yushkevich (2009)。.
新しい!!: 収縮写像とピカールの逐次近似法 · 続きを見る »
距離空間
距離空間(きょりくうかん、metric space)とは、距離関数(きょりかんすう)と呼ばれる非負実数値関数が与えられている集合のことである。 古代より、平面や空間、地上の 2 点間の離れ具合を表す尺度である距離は測量や科学、数学において重要な役割を果たしてきた。1906年にモーリス・フレシェは、様々な集合の上で定義された関数の一様連続性の概念を統一的に研究した論文 において、ユークリッド空間から距離の概念を抽出して用い、距離空間の理論を築いた。 平面 R2 の上の 2 点 P1.
関数 (数学)
数学における関数(かんすう、、、、、函数とも)とは、かつては、ある変数に依存して決まる値あるいはその対応を表す式の事であった。この言葉はライプニッツによって導入された。その後定義が一般化されて行き、現代的には数の集合に値をとる写像の一種であると理解される。.
新しい!!: 収縮写像と関数 (数学) · 続きを見る »
英語
アメリカ英語とイギリス英語は特徴がある 英語(えいご、)は、イ・ヨーロッパ語族のゲルマン語派に属し、イギリス・イングランド地方を発祥とする言語である。.
ここにリダイレクトされます:
縮小写像。