|
Urgent scientific and life
problems demand development of modern estimation methods [1, 2]. The concept of
approximate solutions does not cover inexact pseudo-solutions. Absolute errors
are not invariant measures of accuracy. Relative errors are used only for
equalities of exact values to their approximations and become indefinite and
inadequate if the ratio of the sides of the equality is not close to 1.
緊急の科学的なおよび生命問題は、最新の評価方法[1、2]の開発を要求します。およその解決の概念は、不正確な偽解決をカバーしません。絶対のエラーは、正確さの不変の計測でありません。平等の側の比率が約1でないならば、相対的なエラーが彼らの近いものに正確な価値の
equalitiesだけのために使われて、明確でなくて不十分になります。
Estimation methods must be
based on the intercommunicated concepts of sets and numbers. But the Cantor's
concept [3, 4] of sets ignores multiplicities of their elements, identifies
essentially different sets, and gives indefinite numbers of elements and other
functions of sets especially if they involve closely spaced elements not exactly
known, although the multiplicities of solutions of polynomials are used in
algebra. So it is necessary to consider generalized sets with taking the
multiplicities of their elements into account. And the known numbers are
insufficient to construct sensitive estimations and need their replenishment.
評価方法は、セットと数の相互に通じられた概念に基づかなければなりません。しかし、セットのカントールの概念[3、4]は、多数の彼らの要素を無視して、基本的に異なるセットを特定して、多項式の解決の多様性が代数学で使われるが、特に彼らが必ずしも知られていない密接に間隔をあけられた要素を含むならば、要素の不明確な数とセットの他の機能を伝えます。それで、それは彼らの要素の多様性を考慮に入れることで分化していないセットを考慮するのに必要です。そして、既知の数は、敏感な評価を造って、彼らの補充を必要とするには不十分です。
Let ν:
x
→
νx
be a numerical function (functional), whose domain of definition includes all
sets of some type, whose values are some generalized numbers of the elements of
sets, and which satisfies the following basic axioms:
nとしてください: x
nxは明確さの領域が若干のタイプの全セットを含む数の機能(機能的な)です。そして、価値はセットの若干の分化していない数の要素で、そして、以下の基本的な原理を満たす:
1) if a set x consists
of one element only, νx = 1;
1)セットされたxが1から成るならば、要素、nx = 1だけ;
2) the estimation function ν is
quite additive:
2)評価機能n 非常に添加物です:
ν∪α∈Α Gα = ∑α∈Α νGα
where Gα
– any generalized set indexed by α in Cantor set Α having any cardinality.
そこでGa –
流行のカントールによってインデックスを付けられるどんな分化していないセットでも、どんな基数でも持っているAをセットしました。
It can be rigorously proved
that for the empty set
∅,
それは、空のセットのためのそれということを厳しく証明されることができます、
ν∅ = 0,
for any finite set,
どんな有限セットのためにでも、
ν{a1, a2, ... , an} = n,
and for any set if one element
is added to or is withdrawn from x, νx is increased or decreased
by 1, respectively. This is known only for finite sets because it is considered
that any cardinality is absorbed by a greater infinite one although it is not
true for ordinal numbers [3, 4]. In particular, if
N is the Cantor set of all the natural
numbers (positive integers) and it is designated that νN
=
∞N,
そして、1つの要素が増されるか、xから引っ込められるならば、どんなセットのためにでも、それぞれ、nxは1時までに増減されます。それが序数詞[3、
4]にとって真実でないがどんな基数でもより偉大な無限の人に夢中であると考えられるので、これは有限セットだけで知られています。特に、Nがすべての自然数(正整数)とそれの配置されるカントールであるかどうかは、そのnN
= \Nと称されます、
∞N + 1 > ∞N.
If
N'
is some subset of
N and there exists such a (fractional)
number μN’
and such infinite subseries nk in
N that for every k
N
ならば』、いくつかがNのサブセットです、そして、そのような(わずかな)数mNが、存在する』とてもあらゆるkのためのNでその他無限の subseries nk
ν(N' ∩ { 1, 2, ... , nk}) = μN’ nk
then
N'
is called fractionally numerable and it is designated that νN’
=
μN’∞N.
そしてN』はわずかに数えられると言われます、そして、それはそのnNと称されます』=mN\N。
If
N'
is the former and
N''
is such a subset of
N that the both differences
N''
\ N'
and
N'
\
N''
[3, 4] are finite,
N''
is called finitely fractionally numerable and it
is designated that
Nならば』、前者とNである」Nのそのようなサブセットが、それである両方の違いN」\ N』とN』\
N」[3、4]は、定形です、N」わずかに数えられて制限的に言います、そして、それがそれと称されます
νN’’ = νN’+ ν(N’’ \ N’) - ν(N’ \ N’’).
(But there also exist other
types of subsets of N, for example,
(しかし、また、たとえば、Nの他のタイプのサブセットが、存在します
{11, 12, ... , 100, 1001, 1002, ... , 10000, ... , 102n-l + l, 102n-l + 2, ... , 102n, ...}).
Let us then designate
それから示そう
1/∞N = 0+,
0 - 0+ = 0-,
(0+)ρ = 0ρ+,
r + 0ρ+ = rρ+,
r - 0ρ+ = rρ-
where ρ > 0, r – usual
real numbers or infinities.
そこでr > 0、r – 普通の実数または無限。
So every real number (or
infinity) represents the infinite set of generalized real numbers (R+ is the set
of such positive numbers)
あらゆる実数(または無限)が分化していない実数の無限のセットを表すように、(R+は、そのような正数のセットです)
[ρ∈R+ rρ-] ∪ {r} ∪ [ρ∈R+ rρ+],
which is intuitively used in
limits and improper integrals and allows to obtain sensitive estimations having
some parameters (for example, weights) 0+ instead of 0. Besides that,
only such generalized numbers provide expressing probability densities and
distribution functions in uniform distributions over sets of infinite measures.
And such distribution functions can be depicted not in Euclidean but
Lobachevskian geometry that is therefore connected with probability theory by
the theory of generalized numbers.
そしてそれは限度と異常積分で直観的に使われて、0の代わりに若干のパラメータ(たとえば重さ)がある敏感な評価に0+を得させるために許します。それの他に、そのような分化していない数だけは、無限の処置のセットの上に均一な分布で確率密度と分布関数を表すことを提供します。そして、そのような分布関数は、したがって、分化していない数の理論によって確率論と関係があるLobachevskianジオメトリー以外はユークリッドのもので表されることができません。
The least upper and the
greatest lower bounds [5] on any ordered set M are still less sensitive
for estimation than the known sets and numbers. So it is necessary to introduce
some generalized bounds.
全く高い方の部分と少しの順序集合Mの下限[5]も、評価のために、既知のセットと数よりまだ敏感でありません。それで、それは若干の分化していない境界を持ち出すのに必要です。
The generalized least upper
bound sup M is the generalized set of the usual least upper bounds
on generalized subsets of M reduced from above and is numerically equal
to the usual sup M.
全身性最小上界は、Mをすすります普通の最小上界の分化していないセットが上から減らされるMの分化していないサブセットの上にあります、そして、普通のものと数値的に等しいですMをすすります。
The generalized greatest lower
bound inf M is the generalized set of the usual greatest lower
bounds on generalized subsets of M reduced from below and is numerically
equal to the usual inf M.
分化していない下限inf
Mは、下から減らされるMの分化していないサブセットの普通の下限の分化していないセットで、普通のinf Mと数値的に等しいです。
All these generalizations have
a deep analogy and allow to propose some effective estimation methods.
すべてのこれらの一般化は深い類似を持ちます、そして、若干の効果的評価方法を提案させておいてください。
The method [6] to determine the
hypererror
hypererror を決定する方法[6]
δ = |a – b| / (|a| + |b|)
of a formal (true or false)
numerica1 equality a =? b can be naturally generalized to any
functional equality or equation in some linear normed space and to such combined
equalities or equations. Let us consider the equation
形式的(本当であるか間違った)numerica1平等の=?bは、若干の線形ノルム空間のどんな機能的な平等または方程式にでも、そして、そのような合同の
equalitiesまたは方程式に自然に一般化されることができます。方程式を考慮しよう
Lλ[φ∈Φ
fφ[ω∈Ω zω]] = 0 (λ∈Λ)
(1)
where
どこで
Lλ
– a given operator having an index λ
from a set Λ;
Lλ
– インデックスがある所定のオペレーター l セットされたLから;
fφ
– an unknown desired function having an index
φ
from a set Φ;
fφ
– 未知数は、セットされたFからインデックスjを持っている機能を希望しました;
zω
– an independent variable having an index ω
from a set Ω;
zω
– セットされたWからインデックスwを持っている独立変数;
[ω∈Ω
zω] – a set of indexed elements.
[ω∈Ω
zω]
– 一組のインデックスを付けられた要素。
The local hypererror may be
defined by the formula
ローカルhypererrorは、公式によって定義されるかもしれません
δλ[ω∈Ω zω] =
αλ ||Lλ’[ω∈Ω zω]||λ /
(||Lλ’[ω∈Ω zω]||λ + aλ ||Lλ“[ω∈Ω zω]||λ) +
βλ ||Lλ’[ω∈Ω zω||λ /
(|||Lλ’[ω∈Ω zω]|||λ + bl |||Lλ“[ω∈Ω zω]|||λ) +
γλ ||Ll’[ω∈Ω zω]||λ /
(sup ||Lλ’[ω∈Ω zω]||λ + gλ sup ||Lλ“[ω∈Ω zω]||λ)
(2)
where
どこで
αλ
,
βλ
,
γλ
– generalized positive numbers, their sum be equal to 1;
αλ
,
βλ
,
γλ
– 正数を一般化します、彼らの金額は、1と等しいです;
αλ
,
βλ
,
γλ
– generalized positive numbers;
αλ
,
βλ
,
γλ
– 分化していない正数;
Lλ’[ω∈Ω
zω]
– the left-hand side of (1) as a direct (not composite) function of the
independent variables;
Lλ’[ω∈Ω
zω]
– 独立変数のダイレクト(合成でない)機能としての(1)の左側;
the both sup are taken
in the domain of definition zl
of the equation;
両方のすすります方程式の定義zlの領域でします;
||Lλ’[ω∈Ω
zω]|||λ
– the usual least upper bound on the norm of
||Lλ’[ω∈Ω
zω]||λ
when all possibly different isometric (conserving the norms) transformations
even of equal elements in Lλ’[ω∈Ω
zω]
are considered;
||Lλ’[ω∈Ω
zω]|||λ
– 載って基準を結びつけられる普通の最少の高い方の部分 |Ll'[w W
zw]の等しい要素のさえすべてのなんとかして異なる等尺性(基準を節約する)変化が考慮される|Ll'[w W zw]||l;
Lλ“[ω∈Ω
zω]
– some function that is chosen (together with
αλ,
βλ,
γλ
,
αλ,
βλ,
γλ)
by the principle of tolerable simplicity [6, 7] so that the estimation (2) is
the most sensitive one over the set of the classes of the functions
fφ
under consideration, i.e., the difference sup
δ – inf
δ has the greatest value.
Lλ“[ω∈Ω
zω]
– すなわち、評価(2)が考慮中の機能fjのクラスのセットの上に最も敏感なものであるように、許容できる単純さ[6、7]の原則によって選ばれる(al、
bl、gl、al、bl、glと共に)機能違いが、dをすすります – inf dは、最も大きな価値を持ちます。
Similar estimations can be
proposed for other relations, too. If in (1), the
equality sign is replaced by inequality one, let
δλ[ω∈Ω
zω]
= 0 if the inequation is true, and let us use the formula (2) otherwise. For the
generalized comparison
類似した評価は、他の関係のためにも提案されることができます。(1)でならば、平等徴候が不平等1と取り替えられて、ますdl[w W
zw]、不等式によって真実で、我々はさもなければ公式(2)を使うことができたならば= 0。分化していない比較のために
a
≡ b (mod d) (i.e., (a
–
b)/d is an integer)
b(流行の最先端のd)(すなわち、( – b)/dはそうです整数)
where a, b, d
– complex numbers (d
≠ 0),
どこで、b(d) – 複素数(d 0)、
the hypererror may be given by
the formula
hypererrorは、公式によって与えられるかもしれません
δ = min({|a – b| / |d|}, 1 – {|a – b| / |d|})
where {x} – the
fractional part of a real number x.
どこで{x} – 本当のナンバーxのわずかな部分。
Any pseudo-solution
どんな偽解決でも
[φ∈Φ fφ[ω∈Ω zω]]
to the equation (1) transforms
it into equality (1) is also estimated by the formula (2).
(1)が変換する方程式にとって、平等(1)へのそれは、公式(2)によっても推定されます。
Generally, a hypererror is some
functional
通常、hypererrorは少し機能的です
δ: U → [0, 1] (u ∈ U = E ∪ I)
where
どこで
U – a domain for
estimation;
U – 評価のための領域;
E – the subdomain
containing all the exact objects;
E – すべての正確な物を含んでいるサブドメイン;
I – the subdomain
containing all the inexact objects,
私 – すべての不正確な物を含んでいるサブドメイン、
which satisfies some basic
axioms:
そしてそれは若干の基本的な原理を満たします:
1) for every e
∈ E,
δ(e) = 0;
1)あらゆるeのために E、d‖(e)= 0;
2) there exists an i
∈ I such that
δ(i) = 1.
2)iが存在します私は、そのようなそのd(i) = 1です。
The simplest (but insensitive)
estimation is locally logical:
最も単純な(しかし、鈍感な)評価は、地元で論理的です:
δ(u) = 0 if u
∈ E,
d(u) = 0もしもu E、
δ(u) = 1 if u
∈ I.
d(u I.ならばu) = 1
So its sum with the
probability, that an object to be estimated is exact, is identically equal to 1.
それで、推定される物が正確である可能性によるその金額は、1と同じく等しいです。
The domain average power
weighted hypererror in the λth
relation can be defined as
第lの関係の力加重のhypererrorが定義されることができる領域平均
δλ(m(λ)) = (lim (∫(δλ[ω∈Ω zω])m(λ)pλ[ω∈Ω zω]dV(zλ’)/
∫pλ[ω∈Ω zω]dV(zl’)))1/m(λ)
(zλ’ → zλ)
where
どこで
zλ
– the domain of definition of the λth
relation;
zλ
– 第lの関係の明確さの領域;
zλ’–
domain's approximations that have finite measures
V(zλ’)
and are domains of definition for the both integrals;
有限処置V
を持っているzl』領域の近いもの(zl』)、そして、明確さの領域は、両方の全体のためです;
pλ[ω∈Ω
zω] – a weight;
pλ[ω∈Ω
zω]
– 重さ;
m(λ)
– a positive number possibly depending on λ.
m(λ)
– おそらくlに依存している正数。
The domain average power
weighted hypererror of a pseudo-solution to the combined relations may be
defined as
複合関係の偽解決の力加重のhypererrorが定義されるかもしれない領域平均
δΛ(n(Λ))
= (∑λ∈Λ(δλ(m(λ))n(Λ)pλ’/∑λ∈Λ
pλ’)1/n(Λ)
dL(n(L))は、=です(l L(dl(m(l))n(L)pl』/l L pl)1/n(L)
where
どこで
Λ
– the set of indices
λ, which has
the cardinality c(Λ);
Λ
インデックスlのセット、そしてそれは基数c(Λ);
n(Λ)
– a positive number whose value may be 1, 2, c(Λ),
etc.;
n(Λ)
– 価値が1、2、c(Λ)、その他であるかもしれない正数;
pλ’
– a weight,
pλ’–
重さ、
or as
あるいは、
δΛ = supλ∈Λ δλ(m(λ)).
For instance, let two
pseudo-solutions to some combined four relations have the partial hypererrors
たとえば、なんらかの複合4つの関係の2つの偽解決に部分的なhypererrorsを持たせてください
1, 1, 1, 0;
1, 0, 0, 0,
respectively. Their Cantor sets
are identical and equal to {1, 0} (and are indefinite at all if their elements
are inexact, which often happens), but it is intuitively obvious that the second
pseudo-solution is much more precise than the first one. So let us consider just
the generalized sets
それぞれ。彼らのカントールセットは同一で等しいです{1、0}(そして、彼らの要素が不正確であるならば、まったく明確でありません、しばしば起こります)、しかし、第2の偽解決が最初のものより非常に正確であることは直観的に明らかです。それで、まさに分化していないセットを考慮しよう
Δ1 = {1, 1, 1, 0}; Δ2 = {1, 0, 0, 0} (3)
where the multiplicities of
elements are included. But sup Δ1
= sup Δ2 =
1, so it is necessary to determine just the generalized least upper bounds. The
generalized subsets reduced from above are
要素の多様性が含まれるところ。しかし、D1 =がD2 =
1をすすることをすすりなさいので、それはまさに全身性最小上界を決定するのに必要です。上記から減らされる分化していないサブセットは、そうです
{1, 1, 1, 0};
{1, 1, 0};
{1, 0};
{0}
and
そして、
{1, 0, 0, 0};
{0, 0, 0};
{0, 0};
{0}.
Their sets of least upper
bounds coincide with the sets (3) themselves in such a case. The minimally
reduced from above subsets having different usual least upper bounds 1 and 0 are
{1, 1, 0} and {0, 0, 0}. So sup
Δ1 > sup
Δ2
and the second pseudo-solution is estimated by
δΛ
(for δΛ(n(Λ))
it is obvious) better than the first one as required.
最小上界の彼らのセットは、そのような場合セット(3)自体と同時です。最小限に異なる普通の最小上界1と0がある上記のサブセットから減らすものは、そうです{1、1、0}、そして、{0、0、0}。それで、D1をすすってください
> D2をすすってください、そして、第2の偽解決は必要に応じて、最初のものよりよく、dL(dL(n(L))のために、それは明らかです)によって推定されます。
In particular, such methods for
estimating hypererrors provide many new methods to sum up divergent series [8,
9] ∑i∈N
ai by obtaining constant A that ensures:
特に、
hypererrorsを推定するそのような方法は、それが確実にする恒常的なAを得ることによって互いに異なる直列[8、9]i
Nミツユビナマケモノを要約するために、多くの新しい方法を提供します:
infA
supn || A – (a1
+ a2 + … + an )||
/ (1 + || A – (a1
+ a2 + … + an )||);
infA supn || A – (a1 + a2 +…+)|| /(1 + || A – (a1
+ a2 +…+)||);
infA
limn®¥
|| A – (a1 +
a2 + … + an )||
/ (1 + || A – (a1
+ a2 + … + an )||);
infAは、\を描きます || A – (a1 + a2 +…+)|| /(1 + || A –
(a1 + a2 +…+)||);
infA
limn®¥
|| A – (a1 +
a2 + … + an )||
/ (1 + || A – (a1
+ a2 + … + an )||)
infAは、\を描きます || A – (a1 + a2 +…+)|| /(1 + || A –
(a1 + a2 +…+)||)
where lim – the upper
limit;
そこでlim – 上限;
infA
supn (n-1∑ni=1
(|| A –
∑ni=1
ai
|| / (1 + ||
A – ∑ni=1
ai ||))q(n))1/q(n);
infA supn(n-1 ni=1(|| A– åni=1ミツユビナマケモノ || /(1 +
|| A– åni=1ミツユビナマケモノ ||))q(n))1/q(n);
infA
limn→∞(n-1∑ni=1
(|| A –
∑ni=1
ai
|| / (1 + ||
A – ∑ni=1
ai ||))q(n))1/q(n);
infA は、\(n-1 ni=1を描きます(|| A– åni=1ミツユビナマケモノ || /(1
+ || A– åni=1ミツユビナマケモノ ||))q(n))1/q(n);
infA
limn→∞(n-1∑ni=1
(|| A –
∑ni=1
ai
|| / (1 + ||
A – ∑ni=1
ai ||))q(n))1/q(n)
infA は、\(n-1 ni=1を描きます(|| A– åni=1ミツユビナマケモノ || /(1
+ || A– åni=1ミツユビナマケモノ ||))q(n))1/q(n)
where q(n) – a
positive function of n, which can be, in particular, n itself or a
constant q.
そこでq(n) – nの陽機能、そしてそれは、特に、n自体または恒常的なqでありえます。
But hypererrors can be
sensitive in principle to inexact pseudo-solutions and not toexact solutions
that have different reliabilities, especially if they and relations themselves
are inexactly known. For instance,
しかし、特に彼らと関係が彼ら自身不正確に知られているならば、hypererrorsは原則として、異なる信頼性を持つ不正確な偽解決とtoexact解決にでなく敏感でありえます。たとえば、
x1 = 1 + 10-10, x2 = 1 + 1010
are exact solutions to the
inequality x > 1, but x1 is practically dubious and
x2 is guaranteed. So it is necessary to introduce some concept of
a reserve
不平等の正確な解決は、xです >
1はx1以外のほとんど疑わしいです、そして、x2は保証されます。それが蓄えの若干の概念を持ち出すのに必要であるように、
R: U → [–1, 1]
whose values satisfy the
following basic axioms:
誰の価値が、以下の基本的な原理を満たしますか:
1) for every i
∈ I,
R(i) = –
δ(i)
∈ [–1, 0];
1)あらゆるiのために私、R(i) = –
δ(私)
∈
[1、0];
2) for every e
∈ E,
R(e)
∈ [0, 1];
2)あらゆるeのために E、R(e)
∈
[0、1];
3) there exist such an i
∈ I
and an e
∈ E
that R(i) = –1 and
R(e) = 1.
3)そのようなiが存在します私とe E そのR(i) = 1とR(e) = 1。
For instance, the reserve of
any pseudo-solution x to the combined inequalities
たとえば、複合不平等へのどんな偽解決xの蓄えでも
[α∈Α aα ⇐ x ⇐ bβ β∈Β]
where
どこで
a, b, x –
real numbers;
a, b, x
– 実数;
⇐
– one of the signs <, ≤,
Ü – サイン<(£)のうちの1つ
can be defined as
定義されることができます
R(x, [α∈Α aα ⇐ x ⇐ bβ β∈Β]) =
infα∈Α, β∈Β ((x - aα)/(|x|+2|aα|+1), (bβ - x)/(|x|+2|bβ|+1)).
R(x[Aaa x bb b B])= infa A、b B((x – アア溶岩)/(|x|+2|アア溶岩|+1)、(bb – x)/(|x|+2|bb|+1))。
Thus reserves provide arranging
all pseudo-solutions. If there exists a pseudo-solution that has the maximal
reserve, that may be called a super-pseudo-solution. An exact
super-pseudo-solution may be called a super-solution, an inexact one is called a
quasi-solution. The super-solution to the inequalities
このように、蓄えはすべての偽解決を手配することを提供します。最大限の蓄えを持つ偽解決が存在するならば、それはスーパー疑似解決と呼ばれているかもしれません。正確なスーパー疑似解決はスーパー解決と呼ばれているかもしれません、不正確なものは準解決と呼ばれています。不平等のスーパー解決
a0 ⇐ x ⇐ a1 (6)
is
あります
xs = 0.25 (((2 + 2|a0| + 2|a1| - |a0 + a1|)2 + 8|a0 + a1|)1/2
- 2 - 2|a0| - 2|a1| + |a0 + a1|) sign (a0 + a1).
xs = 0.25(((2 + 2つの|a0| + 2つの|a1| |a0 + a1|)2 + 8|a0 + a1|)1/2
– 2 – 2つの|a0| 2つの|a1| + |a0 + a1|)、署名してください(a0 + a1)。
If there exists a
pseudo-solution that has the minimal reserve and is inexact, it may be called an
anti-solution. The anti-solutions to the same inequalities (6) are
最小の蓄えを持って、不正確である偽解決が存在するならば、それは反解決と呼ばれているかもしれません。同じ不平等(6)の反解決は、そうです
xA = –∞
if a1 > |a0|
or (a1 = |a0|
and (6) has a form –|a0|
< x ≤ |a0|);
a1ならばxA = \ > |a0| あるいは、(a1 = |a0|
そして、(6)は形|a0を持ちます| < x£ |a0|);
xA = +∞
if a0 < –|a1|
or (a0 = –|a1|
and (6) has a form –|a0|
≤ x < |a0|);
a0ならばxA = +\< |a1| あるいは、(a0 = |a1|
そして、(6)は形|a0を持ちます| £x< |a0|);
xA =
±∞
if a0 = –a1
and (6) has a form –|a0|
< x < |a0|
or –|a0|
≤ x
≤
|a0|.
a0 = a1と(6)が形|a0を持つならばxA =±\| < x< |a0| または|a0|
£x£ |a0|。
If the set of pseudo-solutions
is compact, super-quasi-solutions exist. They can be determined by the method of
equalizing the partial reserves of a pseudo-solution to separate relations.
偽解決のセットがコンパクトであるならば、スーパー-準-解決が存在します。彼らは、関係を切り離すために偽解決の部分的な蓄えを等しくする方法で測定されることができます。
Estimations are often given by
corresponding probabilities. It is possible to generalize the concept of a
probability [10] that is locally logical because every elementary outcome gives
either 0 (if it is not favorable) or 1 (if it is favorable). So a usual
probability may be considered as a logical reserve that is equal to 1 for exact
solutions and to 0 for inexact pseudo-solutions.
評価は、対応する可能性によってしばしばされます。あらゆる基本の結果が0(それが有利でないならば)か1(それが有利であるならば)を与えるので、地元で論理的である可能性[10]の概念を一般化することは、可能です。それで、普通の可能性は、正確な解決のための1まで、そして、不正確な偽解決のための0
まで等しい論理的蓄えと思われるかもしれません。
Let us consider the conditional
probability P(s|p) that
some pseudo-solution is an exact solution. When using uniform distributions on
条件付き確率を若干の偽解決が正確な解決であるP(s|p)と考えよう。やっている均一な分布を使うとき、
(-∞,
∞) or (–π/2, π/2)
∋
c = arctan x,
(-\、 \)、あるいは、(p/2、 p/2)『c =逆正接関数x、
the probability of holding the
following inequalities is:
以下の不平等を持つ可能性は、以下の通りです:
x < a: P(s|p)
= ½ + ½ a/∞
or P(s|p) = ½ + 1/π
arctan a;
x<:P(s|p)= + a/\、あるいは、 P(s|p)= + 1/p逆正接関数;
x > a: P(s|p)
= ½ – ½ a/∞
or P(s|p) = ½ – 1/π
arctan a;
x > :P(s|p) =½ – ½ a/\、あるいは、 P(s|p) =½ – 1/p逆正接関数;
a0 < x
< a1 : P(s|p)
= ½ (a1 – a0)/∞
or P(s|p) = 1/π (arctan
a1 – arctan
a0).
a0< x< a1:P(s|p)は、=です(a1 – a0)/\、あるいは、 P(s|p)=
1/p(逆正接関数a1 – 逆正接関数a0)。
When using uniform
distributions on
やっている均一な分布を使うとき、
(-∞,
∞) or (–π/2, π/2)
∋
c = arctan x
(-\、 \)、あるいは、(p/2、 p/2)『c =逆正接関数x
corresponding to more sensitive
reserves generalizing probabilities, the expected value of the reserve (5) of
the inequalities (6) is
可能性を一般化しているより敏感な蓄えと一致して、不平等 (6)の予備(5)の期待値は、そうです
M R(x, a0 < x < a1) = (2π)-1 ×
∑i=0 1 (((-1)i + sign xs)ailn(1 + 2|ai|)/(1 + 2|ai| + 2ai2) -
0.25(1 + (-1)i (ai + 2ai|ai|)/(1 + 2|ai| + 2ai2)) +
(2π)-1(arctan xs)∑i=0 1 (sign xs - (ai + 2ai|ai|)/(1 + 2|ai| + 2ai2) +
(4π)-1∑i=0 1 (1 + ai sign xs + 2|ai|)ln((1 + xs2)/
(1 + 2|ai| + 2ai2))/(1 + 2|ai| + 2ai2).
M R(x(a0< x< a1))=(2p)-1 1i=0(((1)i +徴候xs)ailn(1 + 2つの|ミツユビナマケモノ|)/(1 + 2|ミツユビナマケモノ| + 2ai2) – 0.25(1 +(1)私(ミツユビナマケモノ+ 2ai|ミツユビナマケモノ|)/(1 + 2|ミツユビナマケモノ| + 2ai2は))+(2p)-1‖(逆正接関数xsは)1i=0は(xsを署名する – (ミツユビナマケモノ+ 2ai|ミツユビナマケモノ|)/(1 + 2|ミツユビナマケモノ| + 2ai2)+(4p)-1 1i=0(1 +ミツユビナマケモノ徴候xs + 2|ミツユビナマケモノ|)ln((1 + xs2)/(1 + 2|ミツユビナマケモノ| + 2ai2))/(1 + 2|ミツユビナマケモノ| + 2ai2)。
Besides that, the usual
probability, initial and central moments [10] are not sensitive to the
incompleteness of information. For example, each of them gives identical results
when one ball is extracted from a box having white and black balls in equal or
unknown portions. It is conditioned by the first power of probabilities (for
discrete random variables) or of their densities (for continuous ones). Hence
one may utilize (usual or normed) initial and centra1 moments for which this
power is not equal to 1.
それの他に、普通の可能性、イニシャルと中心瞬間[10]は、情報の不完全さに敏感でありません。たとえば、1つのボールが等しいか未知の部分で白くて黒いボールを備えている箱から引き抜かれるとき、彼らの各々は同一の結果を与えます。それは、可能性(別々の確率変数のために)の、または、彼らの密度(連続もののために)の最初の力によって条件づけられます。それゆえに、人はこの力が1と等しくない(普通であるかノルム)最初のおよびcentra1瞬間を利用するかもしれません。
1. Barford, N. C.: Experimental
Measurements: Precision, Error, and Truth. Addison-Wesley, 1967.
1.バーフォード、N. C.:実験的な寸法:精度、エラーと真実。アディソン‐ウェズリー、1967。
2. Taylor, J. R.: An
Introduction to Errors Analysis. University Science Books Mill Valley,
California, 1982.
2.テイラー、J.
R.:エラー分析への導入。大学科学本は、谷、カリフォルニア、1982を粉にします。
3.. Cantor, G.: Gesammelte
Abhandlungen mathematischen und philosophischen Inhalts. Berlin, 1932.
3.。カントール、G.:Gesammelte Abhandlungen mathematischen
und philosophischen Inhalts。ベルリン、1932。
4. Hausdorff, F.: Grundzüge der
Mengenlehre. Leipzig, 1914.
4.ハウスドルフ、F.:Grundz ge der Mengenlehre.ライプツィヒ、1914。
5. Weierstraß, K. T. W.:
Mathematische Werke. Berlin, Leipzig, 1894-1927. Bd. 1-7.
5.Weierstra、 K. T. W.: Mathematische
Werke。ベルリン、ライプツィヒ、1894~1927。Bd. 1-7。
6. Gelimson, L. G.:
Generalization of Analytic Methods for Solving Strength Problems [In Russian].
Drukar Publishers, Sumy, 1992.
6.Gelimson、L.
G.:強さ問題[ロシア語で]を解決する分析的方法の一般化。Drukar出版者、Sumy、1992。
7. Gelimson, L. G.: General
Strength Theory. Drukar Publishers, Sumy, 1993.
7.Gelimson、L. G.:一般的な強さ理論。Drukar出版者、Sumy、1993。
8. Borel, E.: Lecons sur les
Séries Divergentes. Paris, 1928.
8.ボレル、E.:レズS ries Divergentes.パリ(1928)に基づくLecons。
9. Cooke, G.: Infinite Matrices
and Sequence Spaces. London, 1950.
9.クック、G.:無限のマトリックスとシーケンススペース。ロンドン、1950。
10. Fréchet, M.: Recherches
théoriques modernes sur la théorie des probabilites. Paris, 1937-1938.
10.Fr chet、M.:ラth orie
12月probabilitesに基づくRecherches th oriques modernes。パリ、1937~1938。