100個の決定番号d1,d2,・・・,d100の分布は、多項式の集合（多項式環）K[x]から、任意に選んだ多項式の次数と考えることが、もっとも適切な例えになっている 記号を用意しておこう。 m次多項式 p = p m X^m + p (m - 1) X^(m - 1) +・・・+ p 1 X + p 0, mの範囲は[１,∞)とする
ところで、いま簡単な考察のために、係数は0～9までの10個の数に限定されているとする １次多項式 p 1 X + p 0は、100通り ２次多項式 p 2 X^2 +p 1 X + p 0は、1000通り m次多項式 p = p m X^m + p (m - 1) X^(m - 1) +・・・+ p 1 X + p 0 は、10^(m+1)通り ・ ・ ・ となる。つまり、多項式の集合（多項式環）K[x]から、任意に選んだ多項式の次数は、次数が高い場合が圧倒的に多い。ランダムに選べば、高い次数しか出ない 係数は0～9までの10個の数に限定してさえそれで、係数を0～99とか、自然数全部なら0～99・・・となる となれば、作為的に選ばない限り、次数の低い多項式を選ぶ確率は、限りなくゼロだ
自然数全部という可算無限の係数でさえそれで、任意の実数だと非加算無限だぜ だから、（文系）High level people のために、やさしく解説すれば 任意の実数を係数とする３次多項式の集合を考えて、そこから、ランダムに選べば、３次式以外は出ないってこと
トイモデル１ ・>>144の３次多項式 p 3 X^3 +p 2 X^2 +p 1 X + p 0は、係数を0～9までの10個の数に限定して、10000通りで ・p 3 ＝0のときは、２次多項式以下になって、その場合は一桁少ない(1/10) ・さて、係数を0～k（k>>10）の自然数とする。同様に考えると、全体でk^4通りで、 p 3 ＝0のときは、２次多項式以下になって、その場合は1/kに過ぎない ・ここで、kを大きくしてk→∞の極限を考えると、２次多項式以下を選ぶ確率はゼロに近づく。つまり、３次多項式のみが選ばれる ・簡単のため、二つ、上記３次多項式の集合からランダムに選ぶとすると、どちらも３次多項式だから、{3,3}という組み合わせになる。この確率はほぼ100%。 ・だから、もし裾の軽い例えば正規分布なら、二つに大小があって、片方が最大になる確率は50%になるべきところ、上記例ではそうならないのだよ
トイモデル２ ・>>142 m次多項式 p = p m X^m + p (m - 1) X^(m - 1) +・・・+ p 1 X + p 0, mの範囲は[１,∞)とする ・いま、さらに簡単のために、mを有限の値に固定し、例えば1万とする。 ・トイモデル１で考えたように、1万次以下の多項式の集合で、係数の集合を（0～9でなく）大きくして考えると、ランダムに選ぶ元（多項式）はほとんどすべて上限の1万次多項式を選ぶことになる ・ここで、mを大きくしてm→∞の極限を考えると、同様にランダムに選ぶ元はほとんどすべて上限のm次多項式を選ぶことになり、次数mは∞に発散してしまう ・だから、同様に簡単のため、二つ、上記m次多項式の集合からランダムに選ぶとして、時枝>>2のように「箱がたくさん，可算無限個」を前提とするなら、m→∞の極限を考えると、二つとも∞に発散して、二つの大小は考えられないよ
Journal of the Japan Association for Philosophy of Science が、科学基礎論研究Januaryなんですかね？ はて？ まあつっこみはこの程度にしておこう https://www.jstage.jst.go.jp/result?item1=4&word1=%E5%A4%9A%E6%A7%98%E4%BD%93%E3%81%AE%E6%A6%82%E5%BF%B5%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6 [title in Japanese] [in Japanese] Journal of the Japan Association for Philosophy of Science Vol. 1 (1955) No. 2 Released: September 04, 2009 59-66 Full Text PDF [1534K]
https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E7%A9%BA%E9%96%93 確率空間（かくりつくうかん、英: probability space）とは、可測空間 (S, M) に確率測度 μ(S) = 1 を入れた測度空間 (S, M, μ) を言う。アンドレイ・コルモゴロフによる確率論の公理的構成から、現代においては、確率論は確率空間における確率測度の理論として展開される。
https://ja.wikipedia.org/wiki/%E7%A7%91%E5%AD%A6%E5%9F%BA%E7%A4%8E%E8%AB%96%E5%AD%A6%E4%BC%9A 科学基礎論学会（かがくきそろんがっかい、英語名：The Japan Association for Philosophy of Science）は、1954年2月[1]に設立された日本の学会。学会の趣旨は「科学の基礎に関する研究を促進し、海外の学界との連絡をはかり、斯学の向上発展に寄与すること」[1]。 学際的な学会であり、会員の専門分野の構成は、数学、哲学、論理学、物理学、心理学など、 多岐にわたる。2011年3月現在の会員数は一般会員約440名、名誉会員4名。
https://en.wikipedia.org/wiki/Exotic_probability Exotic probability From Wikipedia, the free encyclopedia
Exotic probability is a branch of probability theory that deals with probabilities which are outside the normal range of [0, 1].
The most common author of papers on exotic probability theory is Saul Youssef. According to Youssef, the valid possible alternatives for probability values are the real numbers, the complex numbers and the quaternions.[1] Youssef also cites the work of Richard Feynman, P. A. M. Dirac, Stanley Gudder and S. K. Srinivasan as relevant to exotic probability theories.
Of the application of such theories to quantum mechanics, Bill Jefferys has said: "Such approaches are also not necessary and in my opinion they confuse more than they illuminate."[2] See also
Negative probability Signed measure Complex measure
References
Saul Youssef, Physics with exotic probability theory,22008 Jefferys (2002) Newsgroup discussion on sci.physics.research accessed 1-Sept-2010
https://en.wikipedia.org/wiki/Negative_probability Negative probability From Wikipedia, the free encyclopedia
The probability of the outcome of an experiment is never negative, but quasiprobability distributions can be defined that allow a negative probability, or quasiprobability for some events. These distributions may apply to unobservable events or conditional probabilities.
Physics and mathematics
In 1942, Paul Dirac wrote a paper "The Physical Interpretation of Q
222 名前：uantum Mechanics"[1] where he introduced the concept of negative energies and negative probabilities:
"Negative energies and probabilities should not be considered as nonsense. They are well-defined concepts mathematically, like a negative of money."
The idea of negative probabilities later received increased attention in physics and particularly in quantum mechanics. Richard Feynman argued[2] that no one objects to using negative numbers in calculations: although "minus three apples" is not a valid concept in real life, negative money is valid. Similarly he argued how negative probabilities as well as probabilities above unity possibly could be useful in probability calculations. []
切断というのは函数のグラフのある種の一般化である。函数 g: B → Y のグラフは、B と Y の直積 E = B × Y に値を持つ写像
s : B → E ; x → s ( x ) = ( x , g ( x ) ) ∈ E
に同一視することができることに注意しよう。ここで π: E → B を直積の第一成分への射影、つまり π(x,y) = x を満たすものとすれば、「グラフ」は π(s(x)) = x を満たす写像 s の総称と捉えることができる。
E がファイバー束、つまり E が全体として直積の形をしているとは限らないときを考えよう。 (x,g(x)) のような元の組で表示することはできないので、前述のもうひとつの方法、つまりある条件を満たす写像として「g のグラフ」を記述することになる。位相空間 B を底空間とするファイバー束 π: E → B について、その切断とは連続写像 s: B → E であって、B の各点 x において必ず π(s(x)) = x を満たすものをいう。 これは「切断とはすべてのファイバーの各々について点をひとつずつ選ぶことによって定まる写像のことである」といっても同じである（条件 π(s(x)) = x は単に底空間 B の各点 x に対して対応する点 s(x) は x 上のファイバーからとるという意味になることに注意）。
例えば E がベクトル束のとき、E の切断とは B の各点 x で x をそれに付随するベクトル空間 Ex の元に対応させるものである。特に、可微分多様体 M 上のベクトル場というのは M の各点にその点における接ベクトルを選んで対応付けるものであるから、ベクトル場とは M の接束の切断のことであると言うことができる。 同様に M 上の一次微分形式 (1-form) は余接束の切断と言い換えられる。
ファイバー束はその底空間全域で定義される切断（大域切断、global section）を一般には持たないが、それゆえ局所的にのみ定義される切断というものを考えることも重要である。 ファイバー束 (E, π, B) の（連続な）局所切断 (local section) とは、U を底空間 B の開集合とするときの連続写像 s: U → E であって、束射影 π について U のすべての元 x に対して π(s(x)) = x をみたすようなものを言う。 (U, φ) が E の局所自明化（つまり F をファイバーとして φ が π?1(U) から U × F への同相写像を与えるもの）とするとき、U 上の局所切断は常に存在して、それは U から F への連続写像と
228 名前：一対一に対応する。 このような局所切断の（U を任意に動かすときの）全体は底空間 B 上の層を成し、ファイバー束 E の切断の層 (sheaf of sections) と呼ばれる。
ファイバー束 E の開集合 U 上の連続（局所）切断全体の成す空間はときに C(U,E) とも表され、また E の大域切断全体の成す空間はしばしば Γ(E) や Γ(B,E) と表される。
ファイバー https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%90%E3%83%BC_(%E6%95%B0%E5%AD%A6) ファイバー (数学) 数学において、用語ファイバー (fiber, fibre) は文脈によって次の2つの意味を持つ： １．素朴集合論において、写像 f : X → Y のもとでの集合 Y の元のファイバーとは、単元集合 {y} の f による逆像のことである。 ２．代数幾何学において、スキームの射のファイバーの概念は、一般に全ての点が閉とは限らないから、より注意深く定義されなければならない。
目次 1 定義 1.1 素朴集合論におけるファイバー 1.2 代数幾何学におけるファイバー
定義 素朴集合論におけるファイバー f : X → Y を写像とする。元 y ∈ Y のファイバーは、一般に f － 1 ( y ) と書かれるが、 f ^-1( { y } ) = { x ∈ X | f ( x ) = y } と定義される。
様々な応用においてこれはまた次のようにも呼ばれる： 写像 f による { y } の逆像 写像 f による { y } の原像 点 y における関数 f の等位集合
用語等位集合は f が実数値のときしたがって y が単に数であるときにのみ用いられるf が連続関数で y が f の像に入っていれば、f のもとでの y の等位集合は、2次元空間内の曲線、3次元空間内の曲面、より一般に d － 1 次元の超曲面である。 代数幾何学におけるファイバー 代数幾何学において、f : X → Y がスキームの射であれば、Y の点 p のファイバーはファイバー積 X × Y Spec ? k ( p )である、ただし k(p) は p における剰余体。
https://en.wikipedia.org/wiki/Sheaf_(mathematics) (抜粋) Ringed spaces and locally ringed spaces Main article: Ringed space
A pair ( X , O X ) consisting of a topological space X and a sheaf of rings on X is called a ringed space. Many types of spaces can be defined as certain types of ringed spaces. The sheaf O X is called the structure sheaf of the space. A very common situation is when all the stalks of the structure sheaf are local rings, in which case the pair is called a locally ringed space. Here are examples of definitions made in this way:
An n-dimensional Ck manifold M is a locally ringed space whose structure sheaf is an R -algebra and is locally isomorphic to the sheaf of Ck real-valued functions on Rn. A complex analytic space is a locally ringed space whose structure sheaf is a C -algebra and is locally isomorphic to the vanishing locus of a finite set of holomorphic functions together with the restriction (to the vanishing locus) of the sheaf of holomorphic functions on Cn for some n. A scheme is a locally ringed space that is locally isomorphic to the spectrum of a ring. A semialgebraic space is a locally ringed space that is locally isomorphic to a semialgebraic set in Euclidean space together with its sheaf of semialgebraic functions.
Sites and topoi Main articles: Grothendieck topology and Topos
Alexandre Grothendieck solved this problem by introducing Grothendieck topologies, which axiomatize the notion of covering. Grothendieck's insight was that the definition of a sheaf depends only on the open sets of a topological space, not on the individual points. Once he had axiomatized the notion of covering, open sets could be replaced by other objects. A presheaf takes each one of these objects to data, just as before, and a sheaf is a presheaf that satisfies the gluing axiom with respect to our new notion of covering. This allowed Grothendieck to define etale cohomology and l-adic cohomology, which eventually were used to prove the Weil conjectures.
A category with a Grothendieck topology is called a site. A category of sheaves on a site is called a topos or a Grothendieck topos. The notion of a topos was later abstracted by William Lawvere and Miles Tierney to define an elementary topos, which has connections to mathematical logic.
History
1958 Godement's book on sheaf theory is published. At around this time Mikio Sato proposes his hyperfunctions, which will turn out to have sheaf-theoretic nature.
At this point sheaves had become a mainstream part of mathematics, with use by no means restricted to algebraic topology. It was later discovered that the logic in categories of sheaves is intuitionistic logic (this observation is now often referred to as Kripke?Joyal semantics, but probably should be attributed to a number of authors). This shows that some of the facets of sheaf theory can also be traced back as far as Leibniz.
A category of sheaves on a site is called a topos or a Grothendieck topos. The notion of a topos was later abstracted by William Lawvere and Miles Tierney to define an elementary topos, which has connections to mathematical logic. に関連した記述だろう
正式な定義 基本的な定義 位相空間 X の点 x と、2つの写像 f, g: X → Y （ここで Y は任意の集合）が与えられると、f と g は、x のある近傍 U が存在して U に制限したときに f と g が等しいときに、つまりすべての u ∈ U に対して f(u) = g(u) であるときに、x で同じ芽 (germ) を定義する。 同様に、S と T が X の任意の2つの部分集合であれば、再び x のある近傍 U が存在して S ∩ U = T ∩ U であるときに、それらは x で同じ芽を定義する。
x で同じ芽を定義することが（写像や集合の上で）同値関係であることを確かめることは直截であり、その同値類を芽（それぞれ写像の芽あるいは集合の芽）と呼ぶ。同値関係は通常 f ? x g あるいは S ? x T と書かれる。X 上の写像 f が与えられると、その x での芽は通常 [f]x と表記される。同様に、集合 S の x における芽は [S]x と書かれる。したがって、 [ f ] x = { g : X → Y ? g ? x f } である。
X の点 x と Y の点 y に写す X の x における写像の芽は f : ( X , x ) → ( Y , y ) と表記される。この表記を用いるとき、f は任意の代表写像と同じ文字 f を使って写像の同値類全体として意図されている。
2つの集合が x おいて芽同値であることと、それらの特性関数が x において芽同値であることは同値である S ? x T ? 1 S ? x 1 T ことに注意する。
写像は X 全体で定義されている必要はなく、特に同じ定義域を持つ必要もない。しかしながら、S と T を X の部分集合として f が定義域 S をもち g が定義域 T をもてば、f と g は次のとき X の点 x において同値な芽である。まず S と T は x において同値な芽である。 S ∩ U = T ∩ U としよう。そしてさらに、f|{S ∩ V} = g|{T ∩ V} が x ∈ V ⊂ U なるよりより小さいある近傍 V に対して成り立つ。これは特に2つの設定において意味がある：
１．f は X の部分多様体 V 上定義され、 ２．f は x においてある種の極をもち、したがって x において定義さえされていない。例えば有理関数では極が定義域から外される。
基本的な性質
f と g が x において同値な芽であれば、それらは連続性や微分可能性といったすべての局所てな性質を共有し、したがって可微分あるいは解析的芽などについて話すことは意味をなす： 部分集合に対しても同様である。芽の1つの代表が解析的集合であれば、すべての代表は少なくとも x のある近傍上で解析的である。
さらに、終域 Y がベクトル空間であれば、芽を足すことが意味をなす： [f]x + [g]x を定義するために、まず近傍 U と V 上でそれぞれ定義された代表元 f と g を取ると、[f]x + [g]x は写像 f + g（ここで f + g は U ∩ V 上定義されている）の x における芽である。（同様にしてより一般の線型結合を定義できる。）
X から Y への写像の x における芽全体の集合は離散位相を除いて有用な位相を持たない。それゆえ芽の収束列について話すことはほとんどあるいは全く意味がない。しかしながら、X と Y が多様体であれば、ジェット（英語版）の空間 J k x (X, Y) （写像（-芽）の x における有限項のテイラー級数）は、有限次元ベクトル空間と同一視できるので、確かに位相をもつ。
芽のアイデアは層と前層の背後にある。位相空間 X 上のアーベル群の前層 Fはアーベル群 F ( U )を X の各開集合 U に割り当てる。アーベル群の典型的な例は： U 上の実数値関数、U 上の微分形式、U 上のベクトル場、U 上の正則函数（X が複素平面のとき）、U 上の定数関数、U 上の微分作用素。
V ⊂ U であれば、ある種の協調性条件を満たす制限写像 r e s V U : F ( U ) → F ( V ) が存在する。固定された x に対して、元 f ∈ F ( U ) と g ∈ F ( V )が x において同値であるとは、x の近傍 W ⊂ U ∩ V が存在して resWU(f) = resWV(g) （どちらも F ( W ) の元）ということである。 同値類は前層 F の x における茎（英語版） F xをなす。この同値関係は上で記述された芽同値の抽象化である。
位相空間 X の点 x における X 上の層 F {\displaystyle {\mathcal {F}}} {\mathcal {F}} の茎（英語版）は一般に F x {\displaystyle {\mathcal {F}}_{x}} {\displaystyle {\mathcal {F}}_{x}} と表記される。したがって芽は、様々な種類の関数の茎であるので、この型の表記ができる：
・C x 0 は x における連続関数芽の空間 (space of germs of continuous functions) である。 ・C x k は各自然数 k に対して x において k 回微分可能な関数芽の空間 (space of germs of k-times-differentiable functions) である。 ・C x ∞ は x において無限回微分可能な（「滑らかな」）関数芽の空間 (space of germs of infinitely differentiable ("smooth") functions) である。 ・C x ω は x において解析関数芽の空間 (space of germs of analytic functions) である。 ・O x において（複素幾何において）正則関数芽の空間 (space of germs of holomorphic functions) あるいは（代数幾何学において）正則関数芽の空間 (space of germs of regular functions) である。
層は開集合上定義されるが，基礎位相空間 X は点からなる．X の固定された一点 x における層の振る舞いを分離しようとすることは合理的である．概念的に言えば，点の小さい近傍を見ることでこれをする．x の十分小さい近傍を見れば，その小さい近傍上での層 F の振る舞いはその点での F の振る舞いと同じはずである． もちろん，1つの近傍だけでは十分小さくはなく，ある種の極限を取らなければならない．
である．ここで直極限は x を含むすべての開集合で添え字付けられ，順序関係は逆包含から誘導される（ U ⊃ V のとき U < V）．直極限の定義（あるいは普遍性）により，茎の元は元 x U ∈ F ( U ) の同値類である，ただし2つのそのような切断 xU と xV は2つの切断の制限が x のある近傍上で一致するときに同値であると考える．
別の定義
茎を定義するある文脈では有用な別のアプローチがある．X の点 x を選び，i を一点空間 {x} の X への埋め込みとする．すると茎 F x は層 i ? 1 F の逆像（英語版）と同じである．一点空間 {x} の開集合は {x} と Φ しかなく，空集合にはなんのデータもないことに注意．しかしながら，{x} 上，次を得る：
i ? 1 F ( { x } ) = lim → U ⊇ { x } ? F ( U ) = lim → U ∋ x ? F ( U ) = F x .
対照的に，滑らかな多様体上の滑らかな関数の層に対しては，芽は局所的な情報を含んではいるが，任意の開近傍上の関数を再構成するには十分ではない．例えば，f: R → R を原点のある近傍で恒等的に 1 で原点から遠く離れたところでは恒等的に 0 である隆起関数とする． 原点を含む任意の十分小さい近傍上 f は恒等的に 1 なので，原点において，値が 1 の定数関数と同じ芽を持つ．f をその芽から再構成したいとしよう．f が隆起関数であると前もって知っていたとしてさえ，芽はその隆起がどのくらい大きいかを教えてくれない． 芽が教えてくれることからは，隆起は無限に広くてもよい，つまり，f は値 1 の定数関数に等しいかもしれない．原点を含む小さい開近傍 U 上で f を再構成することさえできない，なぜならば f の隆起が U におさまっているかどうかとか隆起が大きくて f が U 上恒等的に 1 であるかどうかは分からないからである．
一方で，滑らかな関数の芽は値 1 の定数関数と関数 1 + e － 1 / x 2 を区別することはできる，なぜならば後者の関数は原点のどんな近傍においても恒等的に 1 ではないからである． この例は芽は関数の冪級数展開よりも多くの情報を含んでいることを示している，なぜならば 1 + e － 1 / x 2 の冪級数は恒等的に 1 だからである．（この追加の情報は原点における滑らかな関数の層の茎はネーター環ではないことと関係している．クルルの交叉定理によりこれはネーター環に対しては起こりえない．）
準連接層
アファインスキーム（英語版） X = Spec A 上，素イデアル p に対応する点 x における A 加群 M に対応する準連接層（英語版） F の茎は単に局所化 Mp である．
摩天楼層
任意の位相空間上，閉点 x と群あるいは環 G に付随した摩天楼層（英語版）は x 以外での茎は 0 で x では G である――名前摩天楼の所以である． 同じ性質は問題の位相空間が T1 空間ならば任意の点 x に対して成り立つ，なぜならば T1 空間のすべての点は閉だからである．この性質は層の関手的移入分解を得るために代数幾何学において例えば使われるゴドマン分解（英語版）の構成の基本である．
第一クザン問題は、次のように層コホモロジーの言葉で理解することができる。K を M 上の有理型函数の層として、O を正則函数の層とする。K の大域切断 ? は、層の商である層 K/O の大域切断 φ(?) へ写像される。 この逆の問題が第一クザン問題である。つまり、K/O の大域切断が与えられたときに、これから作られる K の大域切断が存在するか？という問題である。この問題は、写像
H 0 ( M , K ) → φ H 0 ( M , K / O ) . の像を特徴つける問題である。ホモロジーの長完全系列により
H 0 ( M , K ) → φ H 0 ( M , K / O ) → H 1 ( M , O ) は完全であるので、第一クザン問題は、第一ホモロジー群 H1(M,O) が 0 となるときは、常に解くことができる。特に、カルタンの定理 Bにより、M がシュタイン多様体であれば第一クザン問題は常に解ける。
第二クザン問題
第二クザン問題(the second Cousin problem)、もしくは乗法的クザン問題(multiplicative Cousin problem)は、各々の比率が、
