ブラウザよりも高速アクセス！
60 関係: 単調写像、取り尽くし法、多角形、実数値関数、実数直線、対数螺旋、世界線、代数曲線、弧 (幾何学)、微分可能関数、微分形式、微分積分学、区間 (数学)、区間の分割、像 (数学)、ハウスドルフ次元、ユークリッド空間、ラジアン、ピエール・ド・フェルマー、ピタゴラスの定理、アルキメデス、エヴァンジェリスタ・トリチェリ、カテナリー曲線、クリストファー・レン、コッホ曲線、ゴットフリート・ライプニッツ、ジョン・ウォリス、傾き、サイクロイド、円 (数学)、円周率、固有時、積分法、線分、総和、点 (数学)、無限、無限小、直線、相対性理論、超幾何級数、距離、距離空間、近似、近似値、連続 (数学)、連続写像、接線、極座標系、楕円、...、楕円積分、測地線、有限、有限集合、擬リーマン多様体、放物線、数学、数学史、数値積分、曲線。 インデックスを展開 (10 もっと) »
単調写像
単調写像（たんちょうしゃぞう、monotonic function, monotone function）または単調関数は、単調性、すなわち順序集合の間の写像が順序を保つような性質を持つ写像のことである。具体的な例としては以下の単調増加関数および単調減少関数がある。 単調増加（たんちょうぞうか、monotonically increasing）とは、狭義には実数の値を持つ関数 が、 の増加につれて常に関数値 も増加することをいい、このような性質を持つ関数を単調増加関数（たんちょうぞうかかんすう、monotonically increasing function）と呼ぶ。同様に、引数 の増加につれて関数値 が常に減少することを単調減少（たんちょうげんしょう、monotonically decreasing）といい、そのような性質を持つ関数を単調減少関数（たんちょうげんしょうかんすう、monotonically decreasing function）と呼ぶ。従って、連続な単調増加関数 を縦軸、その引数 を横軸にとったグラフ上の曲線は常に右上りで、右下がりになっている部分がない。逆に単調減少関数の場合には、常に右下がりであり右上がりの部分がない。 ある関数が単調増加または単調減少する性質をまとめて単調性（たんちょうせい、monotonicity）と呼ぶ。.
取り尽くし法
取り尽くし法（method of exhaustion、methodus exaustionibus）は、与えられた図形の面積や体積を求める手法の1つで、その図形に内接する一連の多角形を描き、それらの面積を元の図形に収束させる方法である。積尽法、窄出法ともいう。また古代人の方法（méthode des anciens）とも呼ばれる。列を正しく構築すれば、n角形の面積と元の図形の面積の差は n が大きくなるにつれて小さくなっていく。この差を恣意的に小さくすれば、その図形の面積は一連の数列で得られる面積によって「取り尽くされ」、とりうる値の下限が体系的に定まる。この方法はアンティポンが起源だが、彼がどこまで明確に理解していたのかは不明である。厳密な理論付けをしたのはエウドクソスである。「取り尽くし法」という用語を最初に使ったのは、Grégoire de Saint-Vincent の Opus geometricum guadraturae circuli et sectionum coni（1647年）である。 取り尽くし法には一般に背理法の一種を必要とする。これは、ある領域の面積を第2の領域の面積と比較することによって求めることに相当し、それを「取り尽くす」ことで真の面積に恣意的に近づけていく。第2の面積より真の面積が大きいことを前提とし、その前提が偽であることを証明する。次に、真の面積が第2の面積より小さいことを前提として、その前提も偽であることを証明する。 取り尽くし法は微分積分学の先駆けと言える。17世紀から19世紀に解析幾何学と厳密な微分積分学が発展し（特に極限に厳密な定義が与えられ）、取り尽くし法は問題の解法としては使われなくなった。.
多角形
初等幾何学における多辺形または多角形（たかっけい、polygon; ）は、閉あるいは閉曲線を成す、線分の閉じた有限鎖で囲まれた平面図形を言う。多角形を構成するこれら線分をその多角形の辺 (edge, side) と呼び、それらの二つの辺が交わる点をその多角形の頂点 (vertex, corner) と呼ぶ。 個の辺を持つ多角形は -辺形 (-gon) と呼ぶ。例えば三角形は三辺形である。多角形は、より一般の任意次元における超多面体の二次元の例になっている。 多角形に関する基本的な幾何学的概念は特定の目的に応じて様々な方法で適応されてきた。数学においてはしばしば有界な閉折れ線や自己交叉を持たないに限って問題にするため、そのようなもののみ多角形と呼ぶこともある。他方、多角形の境界が自分自身と交わることを許す流儀もあり、その場合星型多角形やその他のが形作られる。その他の多角形の一般化については後述。 多角形 (poly­gon) の語は、「多い」を意味するπολύς と「角」を意味するγωνία に由来する.
実数値関数
実数値関数（じっすうちかんすう、real-valued function）、あるいは実関数（じつかんすう、real function）とは、値として実数を与える関数をいう。つまり、定義域のそれぞれの元に対し実数を割り当てる関数のことである。 多くの重要な関数空間が、いくつかの実数値関数からなるものとして定義されている。.
実数直線
数学における実数直線（じっすうちょくせん、real line, real number line）は、その上の各点が実数であるような直線である。つまり、実数直線とは、すべての実数からなる集合 を、幾何学的な空間（具体的には一次元のユークリッド空間）とみなしたものということである。この空間はベクトル空間（またはアフィン空間）や距離空間、位相空間、測度空間あるいは線型連続体としてみることもできる。 単に実数全体の成す集合としての実数直線は記号 (あるいは黒板太字の ℝ) で表されるのがふつうだが、それが一次元のユークリッド空間であることを強調する意味で と書かれることもある。 本項では の位相幾何学的、幾何学的あるいは実解析的な側面に焦点を当てる。もちろん実数の全体は一つの体として代数学でも重要な意味を持つが、その文脈での が直線として言及されるのは稀である。そういった観点を含めた の詳細は実数の項を参照のこと。.
対数螺旋
対数螺旋（たいすうらせん、logarithmic spiral）とは、自然界によく見られる螺旋の一種である。等角螺旋（とうかくらせん、equiangular spiral）、ベルヌーイの螺旋ともいい、「螺旋」の部分は螺線、渦巻線（うずまきせん）、匝線（そうせん）などとも書く。ヤコブ・ベルヌーイ（ジャック・ベルヌーイ）は、17世紀のスイスの数学者。.
世界線
世界線（せかいせん、, ）とは、零次元幾何を持つ点粒子の時空上の軌跡を言う。一次元、二次元幾何を持つ物体の軌跡はそれぞれ世界面、世界体積 と呼ばれる。.
代数曲線
数学における代数曲線（だいすうきょくせん、algebraic curve）、特にユークリッド幾何学における平面代数曲線 (plane algebraic curve) は、ユークリッド平面内の点集合であって、各点が適当な二変数多項式函数の零点として与えられるものを言う。.
弧 (幾何学)
幾何学における弧（こ、arc）とは、おおまかには、曲線のつながった一部分のことであるが、より抽象的な概念に一般化される。初等幾何学においては円周の弧を指すことが多く、そのことを明確にしたい場合には円弧と呼ぶ。 元々、日本語としての「弧」は、木の弓またはその形状を意味する。.
新しい！!: 弧長と弧 (幾何学) · 続きを見る »
微分可能関数
数学の一分野である微分積分学において、可微分函数あるいは微分可能関数（びぶんかのうかんすう、）とは、その定義域内の各点において導関数が存在するような関数のことを言う。微分可能関数のグラフには、その定義域の各点において非垂直な接線が存在しなければならない。その結果として、微分可能関数のグラフは比較的なめらかなものとなり、途切れたり折れ曲がったりせず、や、垂直接線を伴う点などは含まれない。 より一般に、ある関数 f の定義域内のある点 x0 に対し、導関数 f′(x0) が存在するとき、f は x0 において微分可能であるといわれる。そのような関数 f はまた、点 x0 の近くでは線型関数によってよく近似されるため、x0 において局所線型（locally linear）とも呼ばれる。.
微分形式
数学における微分形式（びぶんけいしき、differential form）とは、微分可能多様体上に定義される共変テンソル場である。微分形式によって多様体上の局所的な座標の取り方によらない関数の微分が表現され、また多様体の内在的な構造のみによる積分は微分形式に対して定義される。微分多様体上の微分形式は共変テンソルとしての座標変換性によって、あるいは接ベクトル空間上の線型形式の連続的な分布として定式化される。また、代数幾何学・数論幾何学や非可換幾何学などさまざまな幾何学の分野でそれぞれ、この類推として得られる微分形式の概念が定式化されている。.
微分積分学
微分積分学（びぶんせきぶんがく, ）とは、解析学の基本的な部分を形成する数学の分野の一つである。微分積分学は、局所的な変化を捉える微分と局所的な量の大域的な集積を扱う積分の二本の柱からなり、分野としての範囲を確定するのは難しいが、大体多変数実数値関数の微分と積分に関わる事柄（逆関数定理やベクトル解析も）を含んでいる。 微分は、ある関数のある点での接線、或いは接平面を考える演算である。数学的に別の言い方をすると、基本的には複雑な関数を線型近似して捉えようとする考え方である。従って、微分は線型写像になる。但し、多変数関数の微分を線型写像として捉える考え方は 20世紀に入ってからのものである。微分方程式はこの考え方の自然な延長にある。 対して積分は、幾何学的には、曲線、あるいは曲面と座標軸とに挟まれた領域の面積（体積）を求めることに相当している。ベルンハルト・リーマンは（一変数の）定積分の値を、長方形近似の極限として直接的に定義し、連続関数は積分を有することなどを証明した。彼の定義による積分をリーマン積分と呼んでいる。 微分と積分はまったく別の概念でありながら密接な関連性を持ち、一変数の場合、互いに他の逆演算としての意味を持っている（微分積分学の基本定理）。微分は傾き、積分は面積を表す。.
区間 (数学)
数学における（実）区間（じつくかん、(real) interval）は、実数からなる集合で、その集合内の任意の二点に対しその二点の間にあるすべての数がその集合に属するという性質を持つものである。例えば、 を満たす数 全体の成す集合は、 と, およびその間の数すべてを含区間である。他の著しい例として、実数全体の成す集合, 負の実数全体の成す集合および空集合などが挙げられる。 実区間は積分および測度論において、「大きさ」「測度」「長さ」などと呼ばれる量を容易に定義できるもっとも単純な集合として重要な役割がある。測度の概念は実数からなるより複雑な集合に対して拡張され、ボレル測度やルベーグ測度といったような概念までにつながっていく。 不確定性や数学的近似および算術的丸めがあっても勝手な公式に対する保証された一定範囲を自動的に与える一般の法としてのを考えるにあたって、区間はその中核概念を成す。 勝手な全順序集合、例えば整数の集合や有理数の集合上でも、区間の概念は定義することができる。.
新しい！!: 弧長と区間 (数学) · 続きを見る »
区間の分割
数学において実数直線上の区間 の分割（ぶんかつ、partition）とは、実数からなる の形の有限点列 を言う。即ち、有界閉区間 の分割は、（区間 に属する実数からなる）狭義単調増加列であって、 の小さいほうの端点から大きいほうの端点へ到達する。 このとき、各点 を区間 の分割 に属する分点と言い、 の形の各区間を分割 に属する小区間 (sub-interval) などと呼ぶ。 区間の分割 に対し、例えば \end は明らかに区間 の集合としての分割を与える。.
像 (数学)
'''f''' は始域 '''X''' から終域 '''Y''' への写像。'''Y''' の内側にある小さな楕円形が '''f''' の像である。 数学において、何らかの写像の像（ぞう、image）は、写像の始域（域、定義域）の部分集合上での写像の出力となるもの全てからなる、写像の終域（余域）の部分集合である。すなわち、始域の部分集合 X の各元において写像の値を評価することによって得られる集合を f による（または f に関する、f のもとでの、f を通じた）X の像という。また、写像の終域の何らかの部分集合 S の逆像（ぎゃくぞう、inverse image）あるいは原像（げんぞう、preimage）は、S の元に写ってくるような始域の元全体からなる集合である。 像および逆像は、写像のみならず一般の二項関係に対しても定義することができる。.
ハウスドルフ次元
点のハウスドルフ次元は0であり、直線のハウスドルフ次元は1、正方形のハウスドルフ次元は2、そして立方体のハウスドルフ次元は3である。コッホ曲線のようなフラクタル図形のハウスドルフ次元は、非整数になりうる。 フラクタル幾何学におけるハウスドルフ次元（ハウスドルフじげん、Hausdroff dimension）は、1918年に数学者フェリックス・ハウスドルフが導入した、が有限な値をとり消えていないという条件に適合する次元の概念の非整数値をとる一般化である。すなわち、きちんとした数学的定式化のもと、点のハウスドルフ次元は 、線分のハウスドルフ次元は 、正方形のハウスドルフ次元は 、立方体のハウスドルフ次元は である。つまり、旧来の幾何学で扱われるような、滑らかあるいは有限個の頂点を持つ点集合として定義される図形のハウスドルフ次元は、その位相的な次元に一致する整数である。しかし同じ定式化のもとで、フラクタルを含めたやや単純さの少ない図形に対してもハウスドルフ次元を計算することが許されるが、その次元は非整数値を取りうる。大幅な技術的進展がによりもたらされて高度に不規則な集合に対する次元の計算が可能となったことから、この次元の概念はハウスドルフ–ベシコヴィッチ次元としても広く知られている。 初等幾何学で用いられる通常のジョルダン測度（あるいはルベーグ測度）に関して、例えば正方形が二次元であるということは、その三次元より高次のジョルダン測度（つまり、体積および高次元体積）が であり、二次元ジョルダン測度（面積）が正の値を持つ（さらに一次元および零次元のジョルダン測度は形式的に となる）ということを本質的に表している。-次元実内積空間 の -次元ジョルダン測度は、部分集合 に対して、 の球体による充填近似が定める内測度と、球体被覆による近似の定める外測度の一致するとき、その一致する値として定義されるのであった（あるいはルベーグ測度は外測度のみを利用して構成される）が、（定数因子の違いを除けば）-次元ジョルダン測度は一次元ジョルダン測度（長さ）の 個の直積と本質的に同じであり、-次元球（あるいは立方体）の -次元体積は本質的に半径の -乗である。ハウスドルフ次元は、これらの事実を抽象化して、台となる空間を一般の距離空間とし、部分集合の一次元ハウスドルフ測度を距離球体被覆による近似の下限として定まる外測度、また非整数値の に対する -次元距離球体のハウスドルフ測度を一次元測度の -乗（の適当な定数倍）となるように定める。ジョルダン測度の場合と同じく、部分集合 の -次元ハウスドルフ測度は次元 が大きければほとんどすべてに対して零であり、零でなくなるようなギリギリ小さい値として のハウスドルフ次元を定めるのである。 ハウスドルフ次元は、ボックスカウンティング次元（）のより単純だがふつうは同値な後継である。.
新しい！!: 弧長とハウスドルフ次元 · 続きを見る »
ユークリッド空間
数学におけるユークリッド空間（ユークリッドくうかん、Euclidean space）は、エウクレイデス（ユークリッド）が研究したような幾何学（ユークリッド幾何学）の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や（三次元）ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、（標準的なモデルを与えるものという意味で）しばしば とかかれるが、（余分な構造を想起させない）ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.
新しい！!: 弧長とユークリッド空間 · 続きを見る »
ラジアン
ラジアン（radian、記号: rad）は、国際単位系 (SI) における角度（平面角）の単位である。円周上でその円の半径と同じ長さの弧を切り取る2本の半径が成す角の値と定義される。.
ピエール・ド・フェルマー
ピエール・ド・フェルマー ピエール・ド・フェルマー（Pierre de Fermat、1607年末または1608年初頭 - 1665年1月12日）はフランスの数学者。「数論の父」とも呼ばれる。ただし、職業は弁護士であり、数学は余暇に行ったものである。.
新しい！!: 弧長とピエール・ド・フェルマー · 続きを見る »
ピタゴラスの定理
90 度回転し、緑色の部分は裏返して橙色に重ねる。 視覚的証明 初等幾何学におけるピタゴラスの定理（ピタゴラスのていり、Pythagorean theorem）は、直角三角形の3辺の長さの関係を表す。斜辺の長さを, 他の2辺の長さを とすると、定理は が成り立つという等式の形で述べられる。三平方の定理（さんへいほうのていり）、勾股弦の定理（こうこげんのていり）とも呼ばれる。 ピタゴラスの定理によって、直角三角形をなす3辺の内、2辺の長さを知ることができれば、残りの1辺の長さを知ることができる。例えば、直交座標系において原点と任意の点を結ぶ線分の長さは、ピタゴラスの定理に従って、その点の座標成分を2乗したものの総和の平方根として表すことができる2次元の座標系を例に取ると、ある点 の 軸成分を, 軸成分を とすると、原点から までの距離は と表すことができる。ここで は平方根を表す。。このことは2次元の座標系に限らず、3次元の系やより大きな次元の系についても成り立つ。この事実から、ピタゴラスの定理を用いて任意の2点の間の距離を測ることができる。このようにして導入される距離はユークリッド距離と呼ばれる。 「ピタゴラスが直角二等辺三角形のタイルが敷き詰められた床を見ていて、この定理を思いついた」など幾つかの逸話が知られているものの、この定理はピタゴラスが発見したかどうかは分からない。バビロニア数学のプリンプトン322や古代エジプトなどでもピタゴラス数については知られていたが、彼らが定理を発見していたかどうかは定かではない。 中国古代の数学書『九章算術』や『周髀算経』でもこの定理が取り上げられている。中国ではこの定理を勾股定理、商高定理等と呼び、日本の和算でも中国での名称を用いて鉤股弦の法（こうこげんのほう）等と呼んだ。三平方の定理という名称は、敵性語が禁じられていた第二次世界大戦中に文部省の図書監修官であった塩野直道の依頼を受けて、数学者末綱恕一が命名したものである。.
新しい！!: 弧長とピタゴラスの定理 · 続きを見る »
アルキメデス
アルキメデス（Archimedes、Ἀρχιμήδης、紀元前287年? - 紀元前212年）は、古代ギリシアの数学者、物理学者、技術者、発明家、天文学者。古典古代における第一級の科学者という評価を得ている。.
エヴァンジェリスタ・トリチェリ
ヴァンジェリスタ・トリチェリ（Evangelista Torricelli、グレゴリオ暦1608年10月15日 - グレゴリオ暦1647年10月25日）は、イタリアの物理学者。ガリレオ・ガリレイの弟子。 ファエンツァに生まれ、ローマに出て最初は数学者ベネデット・カステリの秘書をした。1641年からはガリレイの弟子となり、ガリレイの死まで研究をともにした。その後はトスカーナ大公フェルディナンド2世に数学者・哲学者として招かれて、ピサ大学の数学の教授に任命された。1647年、腸チフスのため39歳の若さで没した。.
新しい！!: 弧長とエヴァンジェリスタ・トリチェリ · 続きを見る »
カテナリー曲線
媒介変数 ''a'' のいくつかの異なる値に対するカテナリー曲線の例 カテナリー（赤）と放物線（青） カテナリー曲線（カテナリーきょくせん、catenary）または懸垂曲線（けんすいきょくせん）または懸垂線（けんすいせん）とは、ロープや電線などの両端を持って垂らしたときにできる曲線である。カテナリーの名はホイヘンスによるもので、"catena" (カテーナ、ラテン語で「鎖、絆」の意) に由来する。カテナリー曲線をあらわす式を最初に得たのはヨハン・ベルヌーイ、ライプニッツらで、1691年のことである。.
新しい！!: 弧長とカテナリー曲線 · 続きを見る »
クリストファー・レン
ウールスソープの生家 サー・クリストファー・マイケル・レン（Sir Christopher Michael Wren, 1632年10月20日 - 1723年2月25日）はイギリスの建築家、天文学者。イギリス王室の建築家であり、ロンドン大火からの復興を行い、バロック建築をイギリスに取り入れた人物、として知られている。.
新しい！!: 弧長とクリストファー・レン · 続きを見る »
コッホ曲線
ッホ曲線（コッホきょくせん、Koch curve）はフラクタル図形の一つ。スウェーデンの数学者ヘルゲ・フォン・コッホ (Helge von Koch) が考案した。線分を3等分し、分割した2点を頂点とする正三角形の作図を無限に繰り返すことによって得られる図形である。1回の操作で線分の長さが 4/3 倍になるので、操作を無限に繰り返して得られるコッホ曲線の長さは無限大である。高木曲線などと同様に、連続でありながら至るところで微分不可能な曲線である。 コッホ曲線は相似比が1/3の4個のセグメントから成っているので、フラクタル次元（相似次元）は、3を底とする4の対数(logを必ずしも自然対数である必要はない任意の対数として、log4 / log3.
ゴットフリート・ライプニッツ
ットフリート・ヴィルヘルム・ライプニッツ（Gottfried Wilhelm Leibniz、1646年7月1日（グレゴリオ暦）/6月21日（ユリウス暦） - 1716年11月14日）は、ドイツの哲学者、数学者。ライプツィヒ出身。なお Leibniz の発音は、（ライプニッツ）としているものと、（ライブニッツ）としているものとがある。ルネ・デカルトやバールーフ・デ・スピノザなどとともに近世の大陸合理主義を代表する哲学者である。主著は、『モナドロジー』、『形而上学叙説』、『人間知性新論』など。.
新しい！!: 弧長とゴットフリート・ライプニッツ · 続きを見る »
ジョン・ウォリス
ョン・ウォリス（John Wallis、1616年11月23日 - 1703年10月28日）は、イングランドの数学者で、微分積分学への貢献で知られている。1643年から1689年までイングランド議会（後には王宮）に暗号研究者として雇われた。また、小惑星 31982 Johnwallis は彼の名を冠している。.
新しい！!: 弧長とジョン・ウォリス · 続きを見る »
傾き
傾き（かたむき）.
サイクロイド
right サイクロイド (cycloid) とは、円がある規則にしたがって回転するときの円上の定点が描く軌跡として得られる平面曲線の総称である。一般にサイクロイドといえば定直線上を回転するものを指すことが多い。サイクロイドと併せて外サイクロイドや内サイクロイドについても解説する。.
円 (数学)
数学において、円（えん）とは、平面（2次元ユークリッド空間）上の、定点 O からの距離が等しい点の集合でできる曲線のことをいう。ここで現れる定点 O を円の中心と呼ぶ。円には、その中心が1つあり、また1つに限る。中心から円周上の 1 点を結んだ線分を輻（や）とよび、その長さを半径というが、現在では輻のことを含めて半径と呼ぶことが多い。中心が点 O である円を、円 O と呼ぶ。定幅図形の一つ。 円が囲む部分、すなわち円の内部を含めて円ということもある。この場合は、曲線のことを円周という。これに対して、内部を含めていることを強調するときには円板という。また、三角形、四角形などと呼称を統一して、円形ということもある。 数学以外の分野ではこの曲線のことを「丸（まる）」という俗称で呼称することがある。 円: 中心、半径・直径、円周.
円周率
円周率（えんしゅうりつ）は、円の周長の直径に対する比率として定義される数学定数である。通常、ギリシア文字 （パイ、ピー、ラテン文字表記: ）で表される。数学をはじめ、物理学、工学といった様々な科学分野に出現し、最も重要な数学定数とも言われる。 円周率は無理数であり、その小数展開は循環しない。円周率は、無理数であるのみならず、超越数でもある。 円周率の計算において功績のあったルドルフ・ファン・コーレンに因み、ルドルフ数とも呼ばれる。ルドルフは、小数点以下35桁までを計算した。小数点以下35桁までの値は次の通りである。.
固有時
固有時（こゆうじ）とは、物理現象・物理法則を支配する時間を言う。特殊相対性理論・一般相対性理論により，ある観測者から見て移動する座標系若しくは重力等で歪んだ時空座標系の下でも，（時空点ごとに固有・不変となる）固有時を用いることにより物理法則は普遍形・不変形を示す。 本稿では特殊相対性理論に基づく観点の下で固有時の説明を行う。 ---- 固有時（こゆうじ）とは、注目する物体に伴って移動する座標系で計測した時間のことである。一般に記号はτを用いる。ニュートン力学まで用いられた全宇宙で一意な絶対時間に代わり、注目すべき物体の固有時が物理法則の記述に用いられるようになった。 アインシュタインは一般相対性理論に基づく観点から、「私は全宇宙に時計を置いた」と述べている。.
積分法
積分法（せきぶんほう、integral calculus）は、微分法と共に微分積分学で対を成す主要な分野である。 実数直線上の区間 [a, b] 上で定義される実変数 x の関数 f の定積分 (独: bestimmte Integral, 英: definite integral, 仏: intégrale définie) は、略式的に言えば f のグラフと x-軸、および x.
線分
線分の幾何学的な定義 幾何学における線分（せんぶん、Line segment）とは2つの点に挟まれた直線の部分であり、それら端点の間にあるどの点も含む。 通常は端点も含むものとするが、端点を含まないものも線分として認め、端点を含む狭義の線分を閉線分、含まないものを開線分とすることもある。 線分の例として、三角形や四角形の辺が挙げられる。もっと一般に、端点がある1つの多角形の頂点となっている線分は、その端点が多角形の隣接する2頂点であるときその多角形の辺となり、そうでないときには対角線である。端点が円周のような1つの曲線上に載っているとき、その線分はその曲線の弦と呼ばれる。.
総和
数学において、総和（そうわ、summation）とは与えられた数を総じて加えることである。.
点 (数学)
数学における点（てん、point）の概念は、今日では非常に広範な意味を持つものとして扱われる。歴史的には、「点」というものは、古代ギリシアの幾何学者が想定したように、直線・平面・空間を形作る根元的な「構成要素」、「原子」となるべきものであり、直線、平面、空間は点からなる集合（点集合）ということになる。しかし、19世紀の終わりごろにゲオルク・カントールによる集合論の創始と、それに続く数多くの「数学的構造」の出現があって以降は、その文脈で「空間」と呼ぶことにした任意の集合における任意の元という意味で「点」という用語が用いられる（例えば、距離空間の点、位相空間の点、射影空間の点、など）。古代ギリシア人は「点」と「数」とを区別して扱ったが、それとは対照的に、この文脈では「数（実数）」は実数直線上の点であるという言い回しを用いることができる。 つまり数学者にとって最も一般の意味での「点」とは、集合が「空間」と捉えられかつ公理によって規定される特定の性質を備えているという状況さえあれば十分で、そのような「空間」の任意の元がすなわち「点」なのである。したがって、今日における術語「空間」は全体集合に、また術語「点」は元に、ほぼ同義である。考えている問題がもはや幾何学とは何の関係もないような場合でさえ、何らかの示唆的な期待によって「点」や「空間」という語が用いられている。.
無限
無限（むげん、infinity、∞）とは、限りの無いことである。 直感的には「限界を持たない」というだけの単純に理解できそうな概念である一方で、直感的には有限な世界しか知りえないと思われる人間にとって、無限というものが一体どういうことであるのかを厳密に理解することは非常に難しい問題を含んでいる。このことから、しばしば哲学、論理学や自然科学などの一部の分野において考察の対象として無限という概念が取り上げられ、そして深い考察が得られている。 本項では、数学などの学問分野において、無限がどのように捉えられ、どのように扱われるのかを記述する。.
無限小
数学における無限小（むげんしょう、infinitesimal）は、測ることができないほど極めて小さい「もの」である。無限小に関して実証的に観察されることは、それらが定量的にいくら小さかろうと、角度や傾きといったある種の性質はそのまま有効であることである。 術語 "infinitesimal" は、17世紀の造語 infinitesimus（もともとは列の「無限番目」の項を意味する言葉）に由来し、これを導入したのは恐らく1670年ごろ、メルカトルかライプニッツである。無限小はライプニッツがやなどをもとに展開した無限小解析における基本的な材料である。よくある言い方では、無限小対象とは「可能な如何なる測度よりも小さいが零でない対象である」とか「如何なる適当な意味においても零と区別することができないほど極めて小さい」などと説明される。故に形容（動）詞的に「無限小」を用いるときには、それは「極めて小さい」という意味である。このような量が意味を持たせるために、通常は同じ文脈における他の無限小対象と比較をすること（例えば微分商）が求められる。無限個の無限小を足し合わせることで積分が与えられる。 シラクサのアルキメデスは、自身の （機械的定理証明法）においてと呼ばれる手法を応分に用いて領域の面積や立体の体積を求めた。正式に出版された論文では、アルキメデスは同じ問題を取り尽くし法を用いて証明している。15世紀にはニコラウス・クザーヌスの業績として（17世紀にはケプラーがより詳しく調べているが）、特に円を無限個の辺を持つ多角形と見做して円の面積を計算する方法が見受けられる。16世紀における、任意の実数の十進表示に関するシモン・ステヴィンの業績によって、実連続体を考える下地はすでにでき上がっていた。カヴァリエリの不可分の方法は、過去の数学者たちの結果を拡張することに繋がった。この不可分の方法は幾何学的な図形を 1 の量に分解することと関係がある。ジョン・ウォリスの無限小は不可分とは異なり、図形をもとの図形と同じ次元の無限に細い構成要素に分解するものとして、積分法の一般手法の下地を作り上げた。面積の計算においてウォリスは無限小を 1/∞ と書いている。 ライプニッツによる無限小の利用は、「有限な数に対して成り立つものは無限な数に対しても成り立ち、逆もまた然り」有限/無限というのは個数に関して言うのではない（有限個/無限個ではない）ことに注意せよ。ここでいう「有限」とは無限大でも無限小でもないという意味である。や（割り当て不能な量を含む式に対して、それを割り当て可能な量のみからなる式で置き換える具体的な指針）というような、経験則的な原理に基づくものであった。18世紀にはレオンハルト・オイラーやジョゼフ＝ルイ・ラグランジュらの数学者たちによって無限小は日常的に使用されていた。オーギュスタン＝ルイ・コーシーは自身の著書 （解析学教程）で、無限小を「連続量」(continuity) ともディラックのデルタ函数の前身的なものとも定義した。カントールとデデキントがスティーヴンの連続体をより抽象的な対象として定義したのと同様に、は函数の増大率に基づく「無限小で豊饒化された連続体」(infinitesimal-enriched continuum) に関する一連の論文を著した。デュ・ボア＝レーモンの業績は、エミール・ボレルとトアルフ・スコーレムの両者に示唆を与えた。ボレルは無限小の増大率に関するコーシーの仕事とデュ・ボア＝レーモンの仕事を明示的に結び付けた。スコーレムは、1934年に最初の算術の超準モデルを発明した。連続の法則および無限小の数学的に厳密な定式化は、1961年にアブラハム・ロビンソンによって達成された（ロビンソンは1948年にが、および1955年にが成した先駆的研究に基づき超準解析を展開した）。ロビンソンの超実数 (hyperreals) は無限小で豊饒化された連続体の厳密な定式化であり、がライプニッツの連続の法則の厳密な定式化である。また、はフェルマーの (adequality, pseudo-equality) の定式化である。 ウラジーミル・アーノルドは1990年に以下のように書いている.
直線
線の正確な表示（直線は太さを持たない図形である為、厳密に正しく表示した場合、視覚では確認不能となる） 線分 直線（ちょくせん、line）とは、太さを持たない幾何学的な対象である曲線の一種で、どこまでもまっすぐ無限に伸びて端点を持たない。まっすぐな線には直線の他に、有限の長さと両端を持つ線分（せんぶん、line segment、segment）と、一つの端点を始点として無限にまっすぐ伸びた半直線（はんちょくせん、ray、half-line）がある。.
相対性理論
一般相対性理論によって記述される、2次元空間と時間の作る曲面。地球の質量によって空間が歪むとして記述して、重力を特殊相対性理論に取り入れる。実際の空間は3次元であることに注意すべし。 相対性理論（そうたいせいりろん、Relativitätstheorie, theory of relativity）または相対論は特殊相対性理論と一般相対性理論の総称である。量子論に対し古典論に分類される物理の分野としては、物理史的には最後の「大物」であった。量子力学と並び、いわゆる現代物理の基本的な理論である。 特殊と一般の、いずれもアルベルト・アインシュタインにより記述された。まず、等速運動する慣性系の間において物理法則は互いに不変であるはずという原理（相対性原理）と光速度不変の原理から導かれたのが、特殊相対性理論である（1905年）。特殊相対性理論は、時間と空間に関する相互間の変換が、相対速度が光速に近づくと、従来のいわゆる「ニュートン時空」的に信じられていたガリレイ変換の結果とは違ったものになること、そういった場合にはローレンツ変換が正しい変換であることを示した（「ミンコフスキー時空」）。 続いて、等価原理により加速度によるいわゆる「見かけの重力」と重力場を「等価」として、慣性系以外にも一般化したのが一般相対性理論である（1915〜1916年）。.
超幾何級数
数学において、超幾何級数（ちょうきかきゅうすう、hypergeometric series）は、一般に の形式で表される級数である。但し、 (x)_0 &.
距離
距離（きょり、Entfernung）とは、ある2点間に対して測定した長さの量をいう。本項では日常生活および高校数学の範囲内で使われている距離について触れる。大学以上で扱うより専門的な距離については距離空間を参照。.
距離空間
距離空間（きょりくうかん、metric space）とは、距離関数（きょりかんすう）と呼ばれる非負実数値関数が与えられている集合のことである。 古代より、平面や空間、地上の 2 点間の離れ具合を表す尺度である距離は測量や科学、数学において重要な役割を果たしてきた。1906年にモーリス・フレシェは、様々な集合の上で定義された関数の一様連続性の概念を統一的に研究した論文 において、ユークリッド空間から距離の概念を抽出して用い、距離空間の理論を築いた。 平面 R2 の上の 2 点 P1.
近似
近似（きんじ、approximation）とは、数学や物理学において、複雑な対象の解析を容易にするため、細部を無視して、対象を単純化する行為、またはその方法。近似された対象のより単純な像は、近似モデルと呼ばれる。 単純化は解析の有効性を失わない範囲内で行われなければならない。解析の内容にそぐわないほど、過度に単純化されたモデルにもとづいた解析は、近似モデルの適用限界を見誤った行為であり、誤った解析結果をもたらす。しかしながら、ある近似モデルが、どこまで有効性を持つのか、すなわち適用限界がどこにあるのかは、実際にそのモデルに基づいた解析を行ってみなければ分からないことが多い。.
近似値
近似値（きんじち）とは、必要とされる誤差の範囲内で、ある数を表していると思って構わない数値のこと。あるいはある数の情報を一部削って得られる値、すなわちある数値に対して端数処理を施した値（数値を「丸め」たもの）である。.
連続 (数学)
数学において、連続（れんぞく、continuous）および連続性（れんぞくせい、continuity）とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。.
新しい！!: 弧長と連続 (数学) · 続きを見る »
連続写像
位相空間論において函数や写像が連続（れんぞく、continuous）であるというのは、ある特定の意味で位相空間の間の位相的構造を保つある種の準同型となっていることを意味し、それ自体が位相空間論における興味の対象ともなる。数学の他の領域における各種の連続性の定義も、位相空間論における連続性の定義から導出することができる。連続性は、空間の位相が同相（位相同型）であることの基礎となる概念であり、特に全単射な連続写像が同相写像であるための必要十分条件は、その逆写像もまた連続となることである。 連続でない写像あるいは函数は、不連続であると言う。 連続性と近しい関係にある概念として、一様連続性、同程度連続性、作用素の有界性などがある。 位相空間の間の写像の連続性の概念は、それが距離空間の間の連続函数の場合のような明確な「距離」の概念を一般には持たない分、より抽象的である。位相空間というのは、集合 とその上の位相（あるいは開集合系）と呼ばれる の部分集合族で（距離空間における開球体全体の成す族の持つ性質を一般化するように）合併と交叉に関する特定の条件を満足するものを組にしたもので、位相空間においても与えられた点の近傍について考えることができる。位相に属する各集合は の（その位相に関する）開部分集合と呼ばれる。.
接線
初等幾何学において接する（せっする、tangent）とは、その名を「触れること」を意味するtangere に由来し、「ただ触れるだけ」という直観的概念を定式化するものである。特に、曲線の接線（せっせん、tangent line, tangent）は、平面曲線に対しては、曲線上の一点が与えられたとき、その点において曲線に「ただ触れるだけ」の直線を意味する。ライプニッツは接線を、曲線上の無限に近い二点を通る直線として定義した。より具体的に解析幾何学において、与えられた直線が曲線 の （あるいは曲線上の点 ）における接線であるとは、その直線が曲線上の点 を通り、傾きが の微分係数 に等しいときに言う。同様の定義は空間曲線やより高次のユークリッド空間内の曲線に対しても適用できる。 曲線と接線が相接する点は接点 (point of tangency) と言い、曲線との接点において接線は曲線と「同じ方向へ」進む。その意味において接線は、接点における曲線の最適直線近似である。 同様に、曲面の接平面は、接点においてその曲線に「触れるだけ」の平面である。このような意味での「接する」という概念は微分幾何学において最も基礎となる概念であり、接空間として大いに一般化される。.
極座標系
極座標系（きょくざひょうけい、polar coordinates system）とは、n 次元ユークリッド空間 R 上で定義され、1 個の動径 r と n − 1 個の偏角 θ, …, θ からなる座標系のことである。点 S(0, 0, x, …,x) を除く直交座標は、局所的に一意的な極座標に座標変換できるが、S においてはヤコビアン が 0 となってしまうから、一意的な極座標表現は不可能である。それは、S に於ける偏角が定義できないことからも明らかである。.
楕円
楕円（だえん、橢円とも。ellipse）とは、平面上のある2定点からの距離の和が一定となるような点の集合から作られる曲線である。基準となる2定点を焦点という。円錐曲線の一種である。 2つの焦点が近いほど楕円は円に近づき、2つの焦点が一致したとき楕円はその点を中心とした円になる。そのため円は楕円の特殊な場合であると考えることもできる。 楕円の内部に2焦点を通る直線を引くとき、これを長軸という。長軸の長さを長径という。長軸と楕円との交点では2焦点からの距離の差が最大となる。また、長軸の垂直二等分線を楕円の内部に引くとき、この線分を短軸という。短軸の長さを短径という。.
楕円積分
以下の積分をそれぞれ、第一種、第二種、第三種の楕円積分（だえんせきぶん、elliptic integral）という。 F(x,k) &.
測地線
測地線（そくちせん、）とは、直線の概念を曲がった空間において一般化したものである。 計量が定義される空間においては、測地線は、2つの離れた点を結ぶ（局所的に）最短な線として定義される。アフィン接続が定義される空間においては、測地線は、曲線のうち、その接ベクトルが曲線に沿って移動しても平行に保たれるような曲線（測地的曲率が常に0）として定義される。測地線の中でその長さが2点間の距離に等しくなるものを最短測地線という。 言葉の由来は、測地学からであり、地球上の2点間の最短ルート（大円の一部）による。この概念は、数学的な空間にも拡張され、例えばグラフ理論ではグラフ上の2つの頂点（vertex）や結節点 () 間の測地線が定義されている。一般相対性理論では、光は曲がった空間での測地線を進むという原理に基づいて構築されている。.
有限
有限(ゆうげん、finite)とは、無限ではないことである。.
有限集合
数学において、集合が有限（ゆうげん、finite）であるとは、自然数 n を用いて という形にあらわされる集合との間に全単射が存在することをいう（ただしここでは、n.
擬リーマン多様体
微分幾何学において、擬リーマン多様体 (pseudo-Riemannian manifold)（また、半リーマン多様体 (semi-Riemannian manifold) ともいう）は、リーマン多様体の一般化であり、そこでは計量テンソルが必ずしもでないこともある。代わって、非退化というより弱い条件が、計量テンソルへ導入される。 一般相対論で極めて重要な多様体として、ローレンツ多様体 (Lorentzian manifold) があり、そこでは、一つの次元が他の次元とは反対の符号を持っている。このことは、接ベクトルが時間的、光的、空間的へと分類される。時空は 4次元ローレンツ多様体としてモデル化される。.
新しい！!: 弧長と擬リーマン多様体 · 続きを見る »
放物線
放物線（ほうぶつせん、希:παραβολή「parabolē」、羅、英: parabola、独: Parabel）とは、その名の通り地表（つまり重力下）で投射した物体の運動（放物運動）が描く軌跡のことである。 放物線をその対称軸を中心として回転させた曲面を放物面という。.
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数学史
数学史（すうがくし、英語：history of mathematics）とは、数学の歴史のこと。第一には、数学上の発見の起源についての研究であり、副次的な興味として、過去の数学においてどのような手法が一般的であったかや、どのような記号が使われたかなども調べられている。.
数値積分
数値積分（すうちせきぶん）とは、狭義には与えられる関数の定積分の値を、解析的にではなく数値的に求めることであり、広義には与えられる導関数から原関数を求めること、また微分方程式を数値的に解くことを含む。数値解析の一つである。 以下では、狭義の数値積分（一変数の関数の定積分の値を求める方法）について述べる。.
曲線
数学における曲線（きょくせん、curve, curved line）は、一般にまっすぐとは限らない幾何学的対象としての「線」を言う。 つまり、曲線とは曲率が零とは限らないという意味での直線の一般化である。 数学の様々な分野において、その研究領域に応じたそれぞれやや異なる意味で「曲線」の語が用いられる（から、精確な意味は文脈に即して捉えるべきである）が、それらの意味の多くは以下に挙げる定義の特別な実例になっているはずである。すなわち、曲線とは局所的に直線と同相であるような位相空間を言う。それは日常語で言えば、曲線は点の集合であって、それらの点が十分近くであれば直線のように見えるが、変形があってもよいというような意味である。数学の各分野で扱われる。 最初に触れる曲線の簡単な例というのはほとんどの場合「平面曲線」（例えば平らな紙の上に描いた曲がった線）であろうが、螺旋のように三次元的なものもある。幾何学的な必要性や、例えば古典力学からの要請で任意次元の空間に埋め込まれた曲線の概念も必要とされる。一般相対論において世界線とは時空内の曲線である。; 注: 一般用語として、「曲線」が（成長曲線やフィリップス曲線の例に見るように）函数のグラフ、あるいはより多様なの意味で用いられることがあるが、本項で言う意味とは（近い関連はあるにせよ）異なるものと理解すべきである。.
