# New pages

Jump to navigation
Jump to search

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

- 21:18, 21 September 2020 Real Sequence/Examples/n^s (hist) [633 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Real Sequence == <onlyinclude> Let $s$ be a constant. The first few terms of the Definition:Real Sequenc...")
- 21:16, 21 September 2020 Real Sequence/Examples/x^n (hist) [466 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Real Sequence == <onlyinclude> The first few terms of the real sequence: :$S = \sequence {x^n}$ are:...")
- 21:15, 21 September 2020 Real Sequence/Examples/(-1)^(n+1) over n (hist) [493 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Real Sequence == <onlyinclude> The first few terms of the real sequence: :$S = \sequence {\dfrac {\pa...")
- 20:18, 21 September 2020 Vector Quantity/Examples (hist) [362 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Vector Quantities == <onlyinclude> </onlyinclude> Category:Examples of Vector Quantities")
- 16:17, 21 September 2020 Autocorrelation Matrix is Positive Definite (hist) [1,281 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $S$ be a strictly stationary stochastic process giving rise to a Definition:Time Series...")
- 16:14, 21 September 2020 Autocovariance Matrix is Positive Definite (hist) [1,304 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $S$ be a strictly stationary stochastic process giving rise to a Definition:Time Series...")
- 15:53, 21 September 2020 Variance of Linear Function of Observations of Stationary Process (hist) [1,434 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == Let $S$ be a strictly stationary stochastic process giving rise to a [[Definition:Time Series|time series]...")
- 15:24, 21 September 2020 Autocovariance at Zero Lag for Strictly Stationary Stochastic Process is Variance (hist) [2,404 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Strictly Stationary Stochastic Process == Let $S$ be a Definition:Strictly Stationary Stochastic Process...")
- 15:12, 21 September 2020 Autocovariance Matrix for Stationary Process is Variance by Autocorrelation Matrix (hist) [1,759 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $S$ be a strictly stationary stochastic process giving rise to a Definition:Time Series...")
- 14:08, 21 September 2020 Autocorrelation at Zero Lag for Strictly Stationary Stochastic Process is 1 (hist) [1,387 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Strictly Stationary Stochastic Process == Let $S$ be a Definition:Strictly Stationary Stochastic Process...")
- 14:02, 21 September 2020 Autocorrelation of Strictly Stationary Stochastic Process (hist) [2,708 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Strictly Stationary Stochastic Process == Let $S$ be a Definition:Strictly Stationary Stochastic Process...") originally created as "Strictly Stationary Stochastic Process/Examples/Autocorrelation"
- 13:11, 21 September 2020 Strictly Stationary Stochastic Process/Examples/Autocovariance (hist) [1,315 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Strictly Stationary Stochastic Process == Let $S$ be a Definition:Strictly Stationary Stochastic Process...")
- 10:37, 21 September 2020 Leigh.Samphier/Sandbox/Set Difference of Larger Set with Smaller is Not Empty (hist) [609 bytes] Leigh.Samphier (talk | contribs) (Created page with "== Theorem == Let $S$ and $T$ be finite sets. Let $\card S > \card T$. Then: :$S \setminus T \ne \O$ == Proof == We have {{...")
- 05:39, 21 September 2020 Inverse of Field Product (hist) [1,391 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $\struct {F, +, \times}$ be a field whose zero is $0_F$ and whose Definitio...")
- 22:34, 20 September 2020 Cancellation Law for Field Product (hist) [1,581 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $\struct {F, +, \times}$ be a field whose zero is $0_F$ and whose Definitio...")
- 22:14, 20 September 2020 Field has no Proper Zero Divisors/Proof 2 (hist) [1,588 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == {{:Field has no Proper Zero Divisors}} == Proof == <onlyinclude> {{begin-eqn}} {{eqn | l = a | o = \ne | r = 0_F | c = }} {{eqn | ll= \leadst...")
- 22:14, 20 September 2020 Field has no Proper Zero Divisors/Proof 1 (hist) [402 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == {{:Field has no Proper Zero Divisors}} == Proof == <onlyinclude> By definition, $F$ is a division ring. Again by definition, a D...")
- 21:55, 20 September 2020 Field Unity Divided by Element equals Multiplicative Inverse (hist) [917 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $\struct {F, +, \times}$ be a field whose zero is $0_F$ and whose Definitio...")
- 21:33, 20 September 2020 Field Product with Non-Zero Element yields Unique Solution (hist) [1,569 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $\struct {F, +, \times}$ be a field whose zero is $0_F$ and whose Definitio...")
- 21:23, 20 September 2020 Condition for Division by Field Elements to be Unity (hist) [1,591 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $\struct {F, +, \times}$ be a field whose zero is $0_F$. Let $a, b \in F$...")
- 20:49, 20 September 2020 Inverse of Multiplicative Inverse/Proof 2 (hist) [725 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == {{:Inverse of Multiplicative Inverse}} == Proof == <onlyinclude> {{begin-eqn}} {{eqn | l = \paren {a^{-1} } \times a | r = a \times \paren {a^{-1} }...")
- 20:44, 20 September 2020 Inverse of Multiplicative Inverse/Proof 1 (hist) [501 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == {{:Inverse of Multiplicative Inverse}} == Proof == <onlyinclude> The multiplicative inverse is, by definition of...")
- 19:29, 20 September 2020 Product with Field Negative/Corollary (hist) [1,048 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == Let $\struct {F, +, \times}$ be a field whose zero is $0_F$ and whose Definition:Unity of Fi...")
- 19:21, 20 September 2020 Product of Field Negatives (hist) [893 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $\struct {F, +, \times}$ be a field whose zero is $0_F$. Let $a, b \in F$....")
- 18:55, 20 September 2020 Product with Field Negative (hist) [1,524 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $\struct {F, +, \times}$ be a field whose zero is $0_F$. Let $a, b \in F$....")
- 16:06, 20 September 2020 Field Product with Zero (hist) [1,381 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $\struct {F, +, \times}$ be a field whose zero is $0_F$. Let $a \in F$ The...")
- 15:56, 20 September 2020 Condition for Difference of Field Elements to be Zero (hist) [1,459 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $\struct {F, +, \times}$ be a field whose zero is $0_F$. Let $a, b \in F$...")
- 15:43, 20 September 2020 Negative of Field Negative (hist) [874 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $\struct {R, +, \circ}$ be a field. Let $a \in R$ and let $-a$ be the Definition:Field Negative|fiel...")
- 13:11, 20 September 2020 Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom/Definition 5 implies Definition 7/Lemma (hist) [2,617 bytes] Leigh.Samphier (talk | contribs) (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\mathscr B$ be a non-empty set of Definiti...")
- 13:07, 20 September 2020 Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom/Definition 7 implies Definition 1 (hist) [1,830 bytes] Leigh.Samphier (talk | contribs) (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\mathscr B$ be a non-empty set of Definiti...")
- 13:06, 20 September 2020 Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom/Definition 5 implies Definition 7 (hist) [1,758 bytes] Leigh.Samphier (talk | contribs) (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\mathscr B$ be a non-empty set of Definiti...")
- 13:05, 20 September 2020 Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom/Definition 3 implies Definition 4 (hist) [1,525 bytes] Leigh.Samphier (talk | contribs) (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\mathscr B$ be a non-empty set of Definiti...")
- 13:04, 20 September 2020 Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Base Axiom/Definition 1 implies Definition 3 (hist) [1,496 bytes] Leigh.Samphier (talk | contribs) (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\mathscr B$ be a non-empty set of Definiti...")
- 12:29, 20 September 2020 Leigh.Samphier/Sandbox/Matroid Base Axiom Implies Sets Have Same Cardinality (hist) [2,556 bytes] Leigh.Samphier (talk | contribs) (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\mathscr B$ be a non-empty set of Definiti...")
- 21:34, 18 September 2020 Space of Bounded Sequences with Supremum Norm forms Banach Space (hist) [5,437 bytes] Julius (talk | contribs) (Created page with "== Theorem == Let $\ell^\infty$ be a space of bounded sequences. Let $\norm {\, \cdot \,}_\infty$ be a Definition:Supremum Norm|s...")
- 16:13, 18 September 2020 Strictly Stationary Stochastic Process/Examples/Constant Mean Level (hist) [1,782 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Strictly Stationary Stochastic Process == Let $S$ be a Definition:Strictly Stationary Stochastic Process...")
- 16:03, 18 September 2020 Strictly Stationary Stochastic Process/Examples/Joint Probability Mass Function (hist) [1,414 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Strictly Stationary Stochastic Process == <onlyinclude> Let $S$ be a Definition:Strictly Stationary Stoch...")
- 16:00, 18 September 2020 Strictly Stationary Stochastic Process/Examples (hist) [1,096 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Strictly Stationary Stochastic Process == <onlyinclude> === Strictly Stationary Stochastic Process/Examp...")
- 10:32, 18 September 2020 Realization of Stochastic Process/Examples/Batch Process (hist) [1,306 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Realization of Stochastic Process == <onlyinclude> Consider a manufacturing plant which outputs a product at som...")
- 10:14, 18 September 2020 Realization of Stochastic Process/Examples (hist) [323 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Realizations of Stochastic Processes == <onlyinclude> === Realization of Stochastic Process/Examples/Batch Pr...")
- 09:33, 18 September 2020 Statistical Time Series/Examples/Batch Process (hist) [1,223 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Statistical Time Series == <onlyinclude> Consider a manufacturing plant which outputs a product at some variable rate. Le...")
- 09:09, 18 September 2020 Statistical Time Series/Examples (hist) [271 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Statistical Time Series == <onlyinclude> === Batch Process === {{:Stat...")
- 05:26, 18 September 2020 Negative of Element in Field is Unique/Proof 1 (hist) [458 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == {{:Negative of Element in Field is Unique}} == Proof == <onlyinclude> By definition, a field is a Definition:Ring (Abs...") originally created as "Negative of Element in Field is Unique/Proof 2"
- 05:25, 18 September 2020 Negative of Element in Field is Unique (hist) [548 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $\struct {F, +, \times}$ be a ring. Let $a \in F$. Then the negative $...")
- 22:21, 17 September 2020 Zero of Field is Unique/Proof 2 (hist) [776 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == {{:Zero of Field is Unique}} == Proof == <onlyinclude> Let $0_1$ and $0_2$ both be elements of $F$ such that: :$\forall a \in F: a + 0_1...")
- 22:14, 17 September 2020 Zero of Field is Unique/Proof 1 (hist) [424 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == {{:Zero of Field is Unique}} == Proof == <onlyinclude> By definition, a field is a Definition:Ring (Abstract Algebra)|...")
- 22:10, 17 September 2020 Zero of Field is Unique (hist) [417 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $\struct {F, +, \times}$ be a field. The zero of $F$ is unique. </onlyinclude...")
- 20:36, 17 September 2020 Positive Real Numbers not Closed under Subtraction (hist) [777 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> The set $\R_{>0}$ of strictly positive real numbers is not Definition:Closed Alge...")
- 20:32, 17 September 2020 Real Division is not Closed (hist) [657 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> The operation of division on the set of real numbers $\R$ is not Defin...")
- 15:52, 17 September 2020 Deterministic Time Series/Examples/Arbitrary Cosine Function (hist) [1,096 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Deterministic Time Series == <onlyinclude> Consider the time series $T$ whose Definition:Fu...")