為了表述之精確嚴謹,許多數學使用公設化形式系統,將如何看待它的利弊得失呢?大概最大弊端就是拗口難讀的吧!若是逆向操作 ,以概念和定義為提要,自己補足直觀解釋及範例,未必不是一種學習法乎?!比方說一個公正硬幣之
假使擲公正硬幣 N 次,每次丟出頭 H 則得一元,丟出尾 T 輸一元。如是形成多個隨機變數 , 。
那麼可能的輸贏
構成一個隨機程序, 。
Stochastic process
A stochastic process is defined as a collection of random variables defined on a common probability space , where is a sample space, is a –algebra, and is a probability measure, and the random variables, indexed by some set , all take values in the same mathematical space , which must be measurable with respect to some -algebra .[28]
In other words, for a given probability space and a measurable space , a stochastic process is a collection of -valued random variables, which can be written as:[60]
There are others ways to consider a stochastic process, with the above definition being considered the traditional one.[115][116] For example, a stochastic process can be interpreted or defined as a -valued random variable, where is the space of all the possible -valued functions of that map from the set into the space .[27][115]
Index set
The set is called the index set[4][51] or parameter set[28][117] of the stochastic process. Often this set is some subset of the real line, such as the natural numbers or an interval, giving the set the interpretation of time.[1] In addition to these sets, the index set can be other linearly ordered sets or more general mathematical sets,[1][54] such as the Cartesian plane or -dimensional Euclidean space, where an element can represent a point in space.[48][118] But in general more results and theorems are possible for stochastic processes when the index set is ordered.[119]
State space
The mathematical space is called the state space of the stochastic process. This mathematical space can be the integers, the real line, -dimensional Euclidean space, the complex plane or other mathematical spaces, which reflects the different values that the stochastic process can take.[1][5][28][51][56]
Sample function
A sample function is a single outcome of a stochastic process, so it is formed by taking a single possible value of each random variable of the stochastic process.[28][120] More precisely, if is a stochastic process, then for any point , the mapping
Random variable
A random variable is a measurable function from the set of possible outcomes to some set . The technical axiomatic definition requires to be a probability space and to be a measurable space (see Measure-theoretic definition).
Note that although is usually a real-valued function ( ), it does not return a probability. The probabilities of different outcomes or sets of outcomes (events) are already given by the probability measure with which is equipped. Rather, describes some numerical property that outcomes in may have — e.g., the number of heads in a random collection of coin flips, or the height of a random person. The probability that takes value is the probability of the set of outcomes , denoted
Probability space
In short, a probability space is a measure space such that the measure of the whole space is equal to one.
The expanded definition is the following: a probability space is a triple consisting of:
- the sample space — an arbitrary non-empty set,
- the σ-algebra (also called σ-field) — a set of subsets of , called events, such that:
- contains the sample space: ,
- is closed under complements: if , then also ,
- is closed under countable unions: if for , then also
- The corollary from the previous two properties and De Morgan’s law is that is also closed under countable intersections: if for , then also
- the probability measure P : — a function on such that:
- P is countably additive: if is a countable collection of pairwise disjoint sets, then ,
- the measure of entire sample space is equal to one: .
Measure (mathematics)
Let X be a set and Σ a σ-algebra over X. A function μ from Σ to the extended real number line is called a measure if it satisfies the following properties:
- Non-negativity: For all E in Σ: μ(E) ≥ 0.
- Null empty set: μ(∅) = 0.
- Countable additivity (or σ-additivity): For all countable collections of pairwise disjoint sets in Σ:
One may require that at least one set E has finite measure. Then the empty set automatically has measure zero because of countable additivity, because
which implies (since the sum on the right thus converges to a finite value) that .
If only the second and third conditions of the definition of measure above are met, and μ takes on at most one of the values ±∞, then μ is called a signed measure.
The pair (X, Σ) is called a measurable space, the members of Σ are called measurable sets. If and are two measurable spaces, then a function is called measurable if for every Y-measurable set , the inverse image is X-measurable – i.e.: . The composition of measurable functions is measurable, making the measurable spaces and measurable functions a category, with the measurable spaces as objects and the set of measurable functions as arrows.
A triple (X, Σ, μ) is called a measure space. A probability measure is a measure with total measure one – i.e. μ(X) = 1. A probability space is a measure space with a probability measure.
For measure spaces that are also topological spaces various compatibility conditions can be placed for the measure and the topology. Most measures met in practice in analysis (and in many cases also in probability theory) are Radon measures. Radon measures have an alternative definition in terms of linear functionals on the locally convex space of continuous functions with compact support. This approach is taken by Bourbaki (2004) and a number of other sources. For more details, see the article on Radon measures.
Sigma-algebra
Let X be some set, and let 2X represent its power set. Then a subset Σ ⊂ 2X is called a σ-algebra if it satisfies the following three properties:[3]
- X is in Σ, and X is considered to be the universal set in the following context.
- Σ is closed under complementation: If A is in Σ, then so is its complement, X\A.
- Σ is closed under countable unions: If A1, A2, A3, … are in Σ, then so is A = A1 ∪ A2 ∪ A3 ∪ … .
From these properties, it follows that the σ-algebra is also closed under countable intersections (by applying De Morgan’s laws).
It also follows that the empty set ∅ is in Σ, since by (1) X is in Σ and (2) asserts that its complement, the empty set, is also in Σ. Moreover, since {X, ∅} satisfies condition (3) as well, it follows that {X, ∅} is the smallest possible σ-algebra on X. The largest possible σ-algebra on X is 2X.
Elements of the σ-algebra are called measurable sets. An ordered pair (X, Σ), where X is a set and Σ is a σ-algebra over X, is called a measurable space. A function between two measurable spaces is called a measurable function if the preimage of every measurable set is measurable. The collection of measurable spaces forms a category, with the measurable functions as morphisms. Measures are defined as certain types of functions from a σ-algebra to [0, ∞].
A σ-algebra is both a π-system and a Dynkin system (λ-system). The converse is true as well, by Dynkin’s theorem (below).
如是當閱讀少用術語的書時也不會覺得怪怪的耶!?
Most links here lead to the new site …
Click this line to go to the site for the 4th edition.
astsa
The R package for the text is called astsa. The package can be obtained from CRAN and its mirrors in the usual way. See the package notes page for further information.
3rd edition for free
This is the current version of the text. If you’re at a University that subscribes to the Springer library, you can download it for free from the Springer Link.
Research Gate has a policy of stealing copyrighted material, so why shouldn’t you? If you want the third edition, an internet search would find it easily, but let me do it for you: the third edition for free .
4th edition
A new edition is in the works. Stay tuned.
EZ edition
A gentle introduction to time series analysis is now available (for free): tsa3EZ. The preface has more details.