ブラウザよりも高速アクセス！
37 関係: 劣加法性、単体 (数学)、双子のパラドックス、実数、実数直線、三平方の定理、三角形、三角錐、一様連続、弧長、余弦定理、ミンコフスキーの不等式、ミンコフスキー空間、ノルム、ノルム線型空間、マンハッタン距離、ユークリッド原論、ユークリッド幾何学、ユークリッド空間、リプシッツ連続、トレミーの不等式、コーシー列、球面、球面幾何学、絶対値、特殊相対性理論、狭義凸空間、直角三角形、頂点、計量ベクトル空間、距離函数、距離空間、Lp空間、S&P グローバル、数学、数学的帰納法、数列の極限。
劣加法性
数学の分野における劣加法性（れつかほうせい、）とは、大まかに言うと、定義域に含まれる二つの元の和についての関数の値が、それら各元についての関数の値の和よりも常に小さいか等しい、という性質のことを言う。数学の様々な研究領域、特にノルムや平方根などに関する領域において、数多くの劣加法的関数の例が知られている。加法的関数は、劣加法的関数の特別な場合である。.
新しい！!: 三角不等式と劣加法性 · 続きを見る »
単体 (数学)
数学、とくに位相幾何学において、n 次元の単体（たんたい、simplex）とは、「r ≤ n ならばどの r + 1 個の点も r − 1 次元の超平面に同時に含まれることのない」ような n + 1 個の点からなる集合の凸包のことで、点・線分・三角形・四面体といった基本的な図形の n 次元への一般化である。 単体は、頂点の位置さえ決めればそれのみによって一意的に決定される。さらに単体は単体的複体や鎖複体などの概念を与えるが、これらはさらに抽象化されて、幾何学を組合せ論的あるいは代数的に扱う道具となる。また逆に、抽象化された複体の概念から単体が定義される。.
新しい！!: 三角不等式と単体 (数学) · 続きを見る »
双子のパラドックス
双子のパラドックス（ふたごのパラドックス）とは、特殊相対性理論（1905年）による運動系の時間の遅れに関して提案されたパラドックスである。初めは、相対性理論に内部矛盾があるかどうかについて、アインシュタイン本人が時計のパラドックスとして出した問題であるが、1911年にポール・ランジュバンが双子をモデルしたパラドックスに仕立てたため、双子のパラドックスとして有名になった。 なお、アインシュタインは26歳のときに出した、特殊相対性理論の論文「動いている物体の電気力学」において、「同じ時刻を刻む2つの時計がA点に置かれているとき、そのうちのひとつを、A点を通る任意の閉曲線にそって一定の速さv で動かし、t 秒後に再びA点に戻ったとき、この時計は動かさなかった時計よりt (v/c)^2/2 秒だけ遅れている。」と書いている。.
新しい！!: 三角不等式と双子のパラドックス · 続きを見る »
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
実数直線
数学における実数直線（じっすうちょくせん、real line, real number line）は、その上の各点が実数であるような直線である。つまり、実数直線とは、すべての実数からなる集合 を、幾何学的な空間（具体的には一次元のユークリッド空間）とみなしたものということである。この空間はベクトル空間（またはアフィン空間）や距離空間、位相空間、測度空間あるいは線型連続体としてみることもできる。 単に実数全体の成す集合としての実数直線は記号 (あるいは黒板太字の ℝ) で表されるのがふつうだが、それが一次元のユークリッド空間であることを強調する意味で と書かれることもある。 本項では の位相幾何学的、幾何学的あるいは実解析的な側面に焦点を当てる。もちろん実数の全体は一つの体として代数学でも重要な意味を持つが、その文脈での が直線として言及されるのは稀である。そういった観点を含めた の詳細は実数の項を参照のこと。.
新しい！!: 三角不等式と実数直線 · 続きを見る »
三平方の定理
三平方の定理（さんへいほうのていり）.
新しい！!: 三角不等式と三平方の定理 · 続きを見る »
三角形
200px 三角形（さんかくけい、さんかっけい、拉: triangulum, 独: Dreieck, 英, 仏: triangle, (古風) trigon) は、同一直線上にない3点と、それらを結ぶ3つの線分からなる多角形。その3点を三角形の頂点、3つの線分を三角形の辺という。.
三角錐
三角錐（さんかくすい、triangular pyramid, trigonal pyramid）とは、垂直断面に三角形を持つ錐体のことである。辺6本、頂点4つからなる。さらに、面の数は立体に於ける最小限界の4つである。このことからまた、四面体（しめんたい、tetrahedron）とも呼ぶ。三角錐は、最小の頂点数で構成することができる立体であると表現することもできる。 垂直断面が正三角形である場合、特に正三角錐（せいさんかくすい、regular triangular pyramid）という。幾何学に於いて、角錐の側面は全て三角形であるが、この場合は底面も三角形であるから、三角錐は全ての面が三角形である立体である。.
一様連続
一様連続（いちようれんぞく、uniformly continuous）は数学における関数に対する概念で、通常の連続性の概念を強めたものである。大雑把に言って、関数の連続性とは引数 x の変化が小さいと関数値 f(x) の変化も小さい事を指すが、このとき f(x) の変化の度合いが x の変化の度合いにのみ依存し、x の値自身にはよらなければ f は一様連続であるという。 すなわち一様連続性とは、f の定義域において x と y が十分近いことを要求するだけで（ x の値によらず）、f(x) と f(y) が近い値をとることを保証していることを言う。 定義より一様連続な関数は連続であるが、逆は一般には成り立たない。 しかし定義域が有界閉区間であれば、その区間上連続な関数は一様連続である事が知られている（ハイネ・カントールの定理）。 一様連続性の定義はユークリッド空間や、それを一般化した概念である距離空間において定義される。 さらに一般に一様空間上でも定義可能である。.
新しい！!: 三角不等式と一様連続 · 続きを見る »
弧長
数学において、複雑な形状の曲線（弧状線分）の弧長（こちょう、arc length）を決定する問題は、曲線の求長 (rectification) とも呼ばれ、特定の曲線に対する求長法は歴史的に様々なものが考えられてきたが、無限小解析の到来とともに曲線に依らない一般論が導かれ、いくつかの場合にはそこから閉じた形の式が得られる。 平面内の曲線は、曲線上の有限個の点を線分で結んで得られる折線で近似することができる。各線分の長さは、ユークリッド空間におけるピタゴラスの定理などから直接に求まるから、近似折線の総延長はそれらの線分の長さの総和として決定することができる。 考えている曲線がはじめから折線なのでなければ、用いる線分の長さを短くして数を増やすことによって、よりその曲線に近い形の折線近似が得られる。そうやってよりよい近似折線を次々につくっていくと、その長さは減ることはなく、場合によっては無制限に増加し続ける可能性もある。しかし、殊滑らかな曲線に限っては、それは線分の長さを無限に小さくする極限で必ず一定の極限値へ収斂する。このように、ある種の曲線に対しては、任意の近似折線の長さの上界に最小値 L が存在する。そのとき、その曲線は有限長であるといい、値 L をその曲線の弧長と呼ぶのである。.
余弦定理
余弦定理（よげんていり、law of cosines, cosine formula）とは、平面上の三角法において三角形の辺の長さと内角の余弦の間に成り立つ関係を与える定理である。余弦定理を証明するために用いられる補題はときに第一余弦定理と呼ばれ、このとき証明される定理は第二余弦定理と呼ばれ区別されることがある。単に余弦定理と言った場合、第二定理を指す。 三角形の角と辺の関係.
新しい！!: 三角不等式と余弦定理 · 続きを見る »
ミンコフスキーの不等式
数学の関数解析学におけるミンコフスキーの不等式（―ふとうしき、英：Minkowski's inequality）とは、 ''L''''p''空間がノルム線型空間であることを述べる、数学の定理である。 三角不等式の一般化とも言える。 数学者ヘルマン・ミンコフスキーに因む。.
新しい！!: 三角不等式とミンコフスキーの不等式 · 続きを見る »
ミンコフスキー空間
ミンコフスキー空間（ミンコフスキーくうかん、Minkowski space）とは、非退化で対称な双線型形式を持つ実ベクトル空間である。ドイツの数学者のヘルマン・ミンコフスキーに因んで名付けられている。アルベルト・アインシュタインによる特殊相対性理論を定式化する枠組みとして用いられる。この特定の設定の下では空間に時間を組み合わせた時空を表現するため、物理学の文脈ではミンコフスキー時空とも呼ばれる。.
新しい！!: 三角不等式とミンコフスキー空間 · 続きを見る »
ノルム
解析学において、ノルム (norm, Norm) は、平面あるいは空間における幾何学的ベクトルの "長さ" の概念の一般化であり、ベクトル空間に対して「距離」を与えるための数学の道具である。ノルムの定義されたベクトル空間を線型ノルム空間または単にノルム空間という。.
ノルム線型空間
数学におけるノルム線型空間（ノルムせんけいくうかん、normed vector space; ノルム付きベクトル空間、ノルム付き線型空間）または短くノルム空間は、ノルムの定義されたベクトル空間を言う。 各成分が実数の、二次元あるいは三次元のベクトルからなる空間では、直観的にベクトルの「大きさ」（長さ）の概念が定義できる。この直観的アイデアを任意有限次元の実数ベクトル空間 に拡張するのは容易い。ベクトル空間におけるそのようなベクトルの大きさは以下のような性質を持つ.
新しい！!: 三角不等式とノルム線型空間 · 続きを見る »
マンハッタン距離
マンハッタン距離（マンハッタンきょり、Manhattan distance）またはL1-距離は、幾何学における距離概念のひとつ。各座標の差（の絶対値）の総和を2点間の距離とする。 ユークリッド幾何学における通常の距離（ユークリッド距離）に代わり、この距離概念を用いた幾何学はタクシーの幾何 (taxicab geometry) と呼ばれる。19世紀にヘルマン・ミンコフスキーによって考案された。.
新しい！!: 三角不等式とマンハッタン距離 · 続きを見る »
ユークリッド原論
ュリュンコスで発見された『ユークリッド原論』のパピルスの写本断片。紀元100年ごろの作。図は『原論』第2巻の命題5に添えられたもの。 ユークリッド原論（ユークリッドげんろん)は、紀元前3世紀ごろにエジプトのアレクサンドリアの数学者ユークリッドによって編纂されたと言われる数学書『原論』（げんろん、Στοιχεία, ストイケイア、Elements）のことである。著者のユークリッドに関する資料は乏しく実在性を疑う説もあり、原論執筆の地がアレクサンドリアであることに対する明確な根拠も無い。プラトンの学園アカデメイアで知られていた数学の成果を集めて体系化した本と考えられており、論証的学問としての数学の地位を確立した古代ギリシア数学を代表する名著である。古代の書物でありながらその影響は古代に留まらず、後世の人々によって図や注釈が加えられたり翻訳された多種多様な版が作られ続け、20世紀初頭に至るまで標準的な数学の教科書の一つとして使われていたため、西洋の書物では聖書に次いで世界中で読まれてきた本とも評される。英語の数学「Mathematics」の語源といわれているラテン語またはギリシア語の「マテーマタ」（Μαθήματα）は「レッスン（学ばれるべきことども）」という意味であり、このマテーマタを集大成したものが『原論』である。.
新しい！!: 三角不等式とユークリッド原論 · 続きを見る »
ユークリッド幾何学
ユークリッド幾何学（ユークリッドきかがく、Euclidean geometry）は、幾何学体系の一つであり、古代エジプトのギリシア系・哲学者であるエウクレイデスの著書『ユークリッド原論』に由来する。詳しい説明は『ユークリッド原論』の記事にある。.
新しい！!: 三角不等式とユークリッド幾何学 · 続きを見る »
ユークリッド空間
数学におけるユークリッド空間（ユークリッドくうかん、Euclidean space）は、エウクレイデス（ユークリッド）が研究したような幾何学（ユークリッド幾何学）の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や（三次元）ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、（標準的なモデルを与えるものという意味で）しばしば とかかれるが、（余分な構造を想起させない）ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.
新しい！!: 三角不等式とユークリッド空間 · 続きを見る »
リプシッツ連続
解析学におけるリプシッツ連続性（リプシッツれんぞくせい、Lipschitz continuity）は、に名を因む、函数のより強い形の一様連続性である。直観的には、リプシッツ連続函数は変化の速さが制限される。即ち、適当な有限値の実数が存在して、その函数のグラフ上の任意の二点を結ぶ直線の傾きの絶対値はその実数を超えない。この上界をその函数の「リプシッツ定数」（あるいは）と呼ぶ。例えば一階微分が有界な任意の函数はリプシッツである。 微分方程式論において、リプシッツ連続性は初期値問題の解の存在と一意性を保証するの中心的な条件である。リプシッツ連続性の特別な場合で、縮小性はバナッハの不動点定理において用いられる。 実数直線の有界閉集合上で定義される函数に関して、以下のような包含関係の鎖が知られている: また、 も成り立つ。.
新しい！!: 三角不等式とリプシッツ連続 · 続きを見る »
トレミーの不等式
ユークリッド幾何学において、トレミーの不等式（トレミーのふとうしき）とは、トレミーの定理を一般化したものである。 また、三角不等式の四角形バージョンとみることもできる。.
新しい！!: 三角不等式とトレミーの不等式 · 続きを見る »
コーシー列
解析学におけるコーシー列（コーシーれつ、Cauchy sequence）は、数列などの列で、十分先のほうで殆ど値が変化しなくなるものをいう。基本列（きほんれつ、fundamental sequence）、正則列（せいそくれつ、regular sequence）、自己漸近列（じこぜんきんれつ）などとも呼ばれる。実数論において最も基本となる重要な概念の一つである。 各 ''n'' に対して順番に縦軸上にプロットしたコーシー列の例。 ''x''''n''.
新しい！!: 三角不等式とコーシー列 · 続きを見る »
球面
球面（きゅうめん）とは球体の表面の意である。数学における球面 (sphere) は、距離の定められた空間の定点からの距離が一定であるような点の軌跡として定義される、非常に高い対称性を示す図形である。球面の囲む有界領域を球体あるいは単に球 (ball) と呼ぶ。一般には三次元ユークリッド空間 E3 内のもの、つまり二次元球面を指す場合が多い。.
球面幾何学
球面幾何学（きゅうめんきかがく、spherical geometry）とは幾何学の分野の一つであり、現在では非ユークリッド幾何学に分類される楕円幾何学の特殊なもの（球面での楕円幾何学）と認識されている。 アッバース朝時代のシリアの天文学者バッターニーがこれを利用して天文観測を行なった。.
新しい！!: 三角不等式と球面幾何学 · 続きを見る »
絶対値
数の絶対値は零からの距離と考えられる 数学における実数 の絶対値（ぜったいち、absolute value）または母数（ぼすう、modulus） は、その符号を無視して得られる非負の値を言う。つまり正数 に対して および負数 に対して （このとき は正）であり、また である。例えば の絶対値は であり の絶対値も である。数の絶対値はその数の零からの距離と見なすことができる。 実数の絶対値を一般化する概念は、数学において広範で多様な設定のもとで生じてくる。例えば、絶対値は複素数、四元数、順序環、体などに対しても定義することができる。様々な数学的あるいは物理学的な文脈における (magnitude) や距離およびノルムなどの概念は、絶対値と緊密な関係にある.
特殊相対性理論
特殊相対性理論（とくしゅそうたいせいりろん、Spezielle Relativitätstheorie、Special relativity）とは、慣性運動する観測者が電磁気学的現象および力学的現象をどのように観測するかを記述する、物理学上の理論である。アルベルト・アインシュタインが1905年に発表した論文に端を発する。特殊相対論と呼ばれる事もある。.
新しい！!: 三角不等式と特殊相対性理論 · 続きを見る »
狭義凸空間
数学における狭義凸空間（きょうぎとつくうかん、）とは、単位球が狭義凸集合であるようなノルム線型位相空間 (V, || ||) のことをいう。言い換えると、狭義凸空間とは、V の単位球 B の境界 ∂B における任意の二点 x と y に対して、それらを通るアフィン直線 L(x, y) が x と y でのみ境界 ∂B と交わるようなもののことをいう。狭義凸性は、その構造に関して、内積空間（すべての内積空間は狭義凸）と一般ノルム空間（すべての狭義凸空間はノルム空間）の間に位置するものである。これはまた、もし存在するなら、（狭義凸の）X の部分空間 Y の外側から X の元に対する最適な近似の一意性を保証するものである。.
新しい！!: 三角不等式と狭義凸空間 · 続きを見る »
直角三角形
角三角形（ちょっかくさんかくけい、right triangle）は、三角形の一種である。三角形の3つの内角のうち、他のどの内角よりも小さくない角に注目したとき、その角が直角 (90°.
新しい！!: 三角不等式と直角三角形 · 続きを見る »
頂点
頂点（ちょうてん、vertex）とは角の端にある点のことである。多角形では2本の辺が接しているか交わっている点、多面体では3本以上の辺が共有している点のことをいう。直観的には図形の周上にある点のうち周辺のどの点よりも突出していて"尖った点"のことを頂点という。転じて日常語としては最高点を指し、「頂点に上り詰める」等と言う。 図ではA,B,Cの3点が頂点 一般にn角形には頂点はn個あり、辺の本数に等しい。座標平面上にある図形ではその頂点を含む範囲で連続であっても微分不可能である。 また曲線が極大値や極小値をとる点のことを頂点ということもある。例えば放物線 y.
計量ベクトル空間
線型代数学における計量ベクトル空間（けいりょうベクトルくうかん、metric vector space）は、内積と呼ばれる付加的な構造を備えたベクトル空間であり、内積空間（ないせきくうかん、inner product space）とも呼ばれる。この付加構造は、空間内の任意の二つのベクトルに対してベクトルの内積と呼ばれるスカラーを対応付ける。内積によって、ベクトルの長さや二つのベクトルの間の角度などの直観的な幾何学的概念に対する厳密な導入が可能になる。また内積が零になることを以ってベクトルの間の直交性に意味を持たせることもできる。内積空間は、内積として点乗積（スカラー積）を備えたユークリッド空間を任意の次元（無限次元でもよい）のベクトル空間に対して一般化するもので、特に無限次元のものは函数解析学において研究される。 内積はそれに付随するノルムを自然に導き、内積空間はノルム空間の構造を持つ。内積に付随するノルムの定める距離に関して完備となる空間はヒルベルト空間と呼ばれ、必ずしも完備でない内積空間は（内積の導くノルムに関する完備化がヒルベルト空間となるから）前ヒルベルト空間 (pre-Hilbert space) と呼ばれる。複素数体上の内積空間はしばしばユニタリ空間 (unitary spaces) とも呼ばれる。.
新しい！!: 三角不等式と計量ベクトル空間 · 続きを見る »
距離函数
距離函数（きょりかんすう、distance function）、距離計量（きょりけいりょう）あるいは単に距離（きょり、distance）、計量（けいりょう、metric）は、集合の二点間の距離を定義する函数である。距離が定義されている集合を距離空間（きょりくうかん、metric space）と呼ぶ。距離はその集合上の位相（距離位相）を誘導するが、必ずしもすべての位相空間が距離位相によって生成されるわけではない。ある位相空間の位相を距離によって記述することができるとき、その位相空間は距離化可能 (metrizable) であるという。.
新しい！!: 三角不等式と距離函数 · 続きを見る »
距離空間
距離空間（きょりくうかん、metric space）とは、距離関数（きょりかんすう）と呼ばれる非負実数値関数が与えられている集合のことである。 古代より、平面や空間、地上の 2 点間の離れ具合を表す尺度である距離は測量や科学、数学において重要な役割を果たしてきた。1906年にモーリス・フレシェは、様々な集合の上で定義された関数の一様連続性の概念を統一的に研究した論文 において、ユークリッド空間から距離の概念を抽出して用い、距離空間の理論を築いた。 平面 R2 の上の 2 点 P1.
新しい！!: 三角不等式と距離空間 · 続きを見る »
Lp空間
数学の分野における Lp 空間（エルピーくうかん、Lp space）とは、有限次元ベクトル空間に対する p-ノルムの自然な一般化を用いることで定義される関数空間である。アンリ・ルベーグの名にちなんでルベーグ空間としばしば呼ばれる が、 によると初めて導入されたのは とされている。Lp 空間は関数解析学におけるバナッハ空間や、線型位相空間の重要なクラスを形成する。物理学や統計学、金融、工学など様々な分野で応用されている。.
新しい！!: 三角不等式とLp空間 · 続きを見る »
S&P グローバル
S&P グローバル（S&P Global Inc.）は、アメリカ合衆国・ニューヨーク市に本拠を置く金融サービス企業。S&P グローバル・レーティングやS&P ダウ・ジョーンズ・インデックスなど、4つの事業体の親会社にあたる。旧社名はマグロウヒルファイナンシャル。ニューヨーク証券取引所上場企業（）。.
新しい！!: 三角不等式とS&P グローバル · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数学的帰納法
数学的帰納法（すうがくてききのうほう、mathematical induction）は自然数に関する命題 が全ての自然数 に対して成り立っている事を証明するための、次のような証明手法である自然数の定義は を含む流儀とそうでない流儀があるが、ここでは後者を採用した。。.
新しい！!: 三角不等式と数学的帰納法 · 続きを見る »
数列の極限
正整数 が大きくなるにつれて、値 は にいくらでも近くなる。「数列 の極限は である」という。 数学において、数列や点列の極限（limit of a sequence）は数列や点列の項が「近づく」値であるCourant (1961), p. 29.
新しい！!: 三角不等式と数列の極限 · 続きを見る »
