User:Prime.mover


 * MattWestwoodAvatar.jpg

You'veBeenAProgrammerTooLongWhenYouWriteInCamelCase
I'm on the local email as prime.mover@proofwiki.org so drop us a line when you want.

Or you can leave a message on my talk page.

But please answer this question first:
 * $$b4i \sqrt u \frac {ru} {16}$$

You might also catch me asking (but usually answering) questions on Math Help Forum which I sometimes haunt when ProofWiki's down.

What's THIS For ...!
Sandbox, In Progress, Later, Help Needed.

Prime.mover's stubs

... work in progress ...

help!

Keep chipping away ...

Jokes

 

Potw

mediawiki:sidebar

Tools

Wiki LaTeX

www.proofwiki.org/webmail

Prime.mover (talk)  (contributions)   (NUM)

Google Analytics

URM Programs
...etc.

input

output

register

terminate

basic instruction

instruction pointer

null URM program

exit jump

exit line

stage of computation

state

Let $$P$$ be a URM program.

Let $$P$$ be a normalized URM program.

Let $$l = \lambda \left({P}\right)$$ be the number of basic instructions in $$P$$.

Let $$u = \rho \left({Q}\right)$$ be the number of registers used by $$Q$$.

Trace Table:

...etc.

Useful constructs
Useful constructs for anyone to cut and paste:

Blackboard characters: $$\N \Z \Q \R \C \mathbb O \P \S$$


 * 1) Redirect User:Prime.mover

For example:

$$fred \ \stackrel {\mathbf {def}} {= \! =} \ bert$$

Let $$A$$ be an algebra over the field $\R$ whose bilinear map $$m: A^2 \to A$$ is called multiplication

Let the unity of $$A$$ be $$1$$ such that $$\forall a \in A: m \left({1, a}\right) = a = m \left({a, 1}\right)$$.

We can abbreviate $$m \left({a, b}\right)$$ as $$ab$$.

Let $$\left({\Omega, \Sigma, \Pr}\right)$$ be a probability space.

Let $$X$$ be a discrete random variable on $$\left({\Omega, \Sigma, \Pr}\right)$$.

Let $$\left \lfloor{x}\right \rfloor$$ be the floor of $$x$$.

Let $$\left \lceil{x}\right \rceil$$ be the ceiling of $$x$$.

Let $$T = \left({A, \vartheta}\right)$$ be a topological space.

Let $$M = \left({A, d}\right)$$ be a metric space.

Let $$N_\epsilon \left({x}\right)$$ be an $\epsilon$-neighborhood in $$M = \left({A, d}\right)$$.

Let $$\xi \in \R$$ be a real number.

Let $$\sum_{n=0}^\infty a_n \left({x - \xi}\right)^n$$ be a power series about $$\xi$$.

Let $$f$$ be a real function which is continuous on the closed interval $$\left[{a \,. \, . \, b}\right]$$ and differentiable on the open interval $$\left({a \, . \, . \, b}\right)$$.

Let $$f$$ have a primitive $$F$$ on $$\left[{a \,. \, . \, b}\right]$$.

Let $$\sum_{n=1}^\infty a_n$$ be a convergent series in $\R$.

Let $$\left \langle {s_n} \right \rangle$$ be the sequence of partial sums of $$\sum_{n=1}^\infty a_n$$.

Let $$\left \langle {x_n} \right \rangle$$ be a sequence in $\R$.

Let $$\left \langle {x_n} \right \rangle$$ be a Cauchy sequence.

Let $$\lim_{n \to \infty} x_n = l$$.

Let $$x_n \to l$$ as $$n \to \infty$$.

Let $$\left \langle {x_{n_r}} \right \rangle$$ be a subsequence of $$\left \langle {x_n} \right \rangle$$.

Let $$\mathbf A = \left[{a}\right]_{m n}$$ be an $m \times n$ matrix.

Let $$\mathbf A = \left[{a}\right]_{n}$$ be a square matrix of order $n$.

Let $$\det \left({\mathbf A}\right)$$ be the determinant of $$\mathbf A$$.

Let $$\mathcal M_S \left({m, n}\right)$$ be the $m \times n$ matrix space over $$S$$.

Let $$\left\{{x, y, z}\right\}$$ be a set.

Let $$\mathcal P \left({S}\right)$$ be the power set of the set $$S$$.

Let $$\left({S, \circ}\right)$$ be an algebraic structure or a semigroup.

Let $$\left({G, \circ}\right)$$ be a group whose identity is $$e$$.

Let $$\left({S, \circ, *}\right)$$ be a boolean ring whose identity for $$\circ$$ is $$e^\circ$$ and whose identity for $$*$$ is $$e^*$$.

Let $$\left({R, +, \circ}\right)$$ be a ring whose zero is $$0_R$$.

Let $$\left({R, +, \circ}\right)$$ be a ring with unity whose zero is $$0_R$$ and whose unity is $$1_R$$.

Let $$\left({K, +, \circ}\right)$$ be a division ring whose zero is $$0_K$$ and whose unity is $$1_K$$.

Let $$\left \langle {S} \right \rangle$$ be the group generated by $S$.

Let $$\left \langle {g} \right \rangle = \left({G, \circ}\right)$$ be a cyclic group.

Let $$\left({G, +_G, \circ}\right)_R$$ be an $R$-module.

Let $$\left({G, +_G, \circ}\right)_K$$ be a $K$-vector space.

Let $$\left({G, +_G, \circ}\right)_R$$ be a unitary $R$-module whose dimension is finite.

Let $$\mathcal L_R \left({G, H}\right)$$ be the set of all linear transformations from $$G$$ to $$H$$.

Let $$\mathcal L_R \left({G}\right)$$ be the set of all linear operators on $$G$$.

Let $$\left[{u; \left \langle {b_m} \right \rangle, \left \langle {a_n} \right \rangle}\right]$$ be the matrix of $u$ relative to $\left \langle {a_n} \right \rangle$ and $\left \langle {b_m} \right \rangle$.

Let $$D \left[{x}\right]$$ be the set of polynomials in $$x$$ over $$D$$.

Let $$D \left[{X}\right]$$ be the ring of polynomial forms in $$X$$ over $$D$$.

Let $$P \left({D}\right)$$ be the ring of polynomial functions over $$D$$.

Let $$G^*$$ be the algebraic dual of $$G$$.

Let $$G^{**}$$ be the algebraic dual of $$G^*$$.

Let $$M^\circ$$ be the annihilator of $$M$$.

Let $$\left \langle {x, t'} \right \rangle$$ be as defined in Evaluation Linear Transformation.

Let $$J$$ be an ideal of $$R$$.

Let $$\left({R / J, +, \circ}\right)$$ be the quotient ring defined by $$J$$.

Let $$\left({D, +, \circ}\right)$$ be an integral domain or a principal ideal domain whose zero is $$0_D$$ and whose unity is $$1_D$$.

Let $$\left({F, +, \circ}\right)$$ be a field whose zero is $$0_F$$ and whose unity is $$1_F$$.

Let $$\left({K, +, \circ}\right)$$ be a quotient field of an integral domain $$\left({D, +, \circ}\right)$$.

Let $$\left({D, +, \circ, \le}\right)$$ be a totally ordered integral domain whose zero is $$0_D$$ and whose unity is $$1_D$$.

Let $$\left({S, \preceq}\right)$$ be a totally ordered set.

Let $$\left({S, \circ, \preceq}\right)$$ be an ordered structure.

Let $$\left({S, \circ, \preceq}\right)$$ be a naturally ordered semigroup.

Let $$\left({S, \circ, \ast, \preceq}\right)$$ be a Naturally Ordered Semigroup with Product.

$$\left[{m \,. \, . \, n}\right]$$ is the closed interval between $m$ and $n$.

$$\N$$, $$\N^*$$, $$\N_k$$, $$\N^*_k$$

$$\Z$$, $$\Z^*$$, $$\Z_+$$, $$\Z^*_+$$,

Let $$\Z_m$$ be the set of integers modulo $m$.

Let $$\Z'_m$$ be the set of integers coprime to $$m$$ in $$\Z_m$$.

Let $$\left({\Z, +}\right)$$ be the Additive Group of Integers.

Let $$\left({\Z, +, \times}\right)$$ be the integral domain of integers.

Let $$\left({\Z_m, +_m, \times_m}\right)$$‎ be the ring of integers modulo $m$.

Let $$\left({\Z_m, +_m}\right)$$ be the Additive Group of Integers Modulo $m$.

Let $$n \Z$$ be the set of integer multiples of $$n$$.

Let $$\left({x}\right)$$ be the principal ideal of $\left({\Z, +, \times}\right)$ generated by $x$.

Let $$\operatorname{Char} \left({R}\right)$$ be the characteristic of $R$.

The cardinality of a set $$S$$ is written $$\left|{S}\right|$$.

Let $$\left \langle {s_k} \right \rangle_{k \in A}$$ be a sequence in $S$.

Let $$\gcd \left\{{a, b}\right\}$$ be the greatest common divisor of $$a$$ and $$b$$.

Let $$\operatorname{lcm} \left\{{a, b}\right\}$$ be the lowest common multiple of $$a$$ and $$b$$.

Let $$\left|{a}\right|$$ be the absolute value of $$a$$.

$$a \equiv b \left({\bmod\, m}\right)$$: "$$a$$ is congruent to $$b$$ modulo $$m$$."

$$\left[\!\left[{a}\right]\!\right]_m$$ is the residue class of $a$ (modulo $m$).

Let $$\left[{G : H}\right]$$ be the index of $H$ in $G$.

Let $$C_G \left({H}\right)$$ be the centralizer of $$H$$ in $$G$$.

Let $$N_G \left({S}\right)$$ be the normalizer of $$S$$ in $$G$$.

Let $$G / N$$ be the quotient group of $$G$$ by $$N$$.

Let $$Z \left({G}\right)$$ be the center of $$G$$.

Let $$x \in G$$.

Let $$N_G \left({x}\right)$$ be the normalizer of $x$ in $G$.

Let $$\left[{G : N_G \left({x}\right)}\right]$$ be the index of $N_G \left({x}\right)$ in $G$.

Let $$S_n$$ denote the set of permutations on $n$ letters.

Let $$S_n$$ denote the symmetric group on $n$ letters.

Let $$\operatorname{Fix} \left({\pi}\right)$$ be the set of elements fixed by $\pi$.

Matrix (square brackets): $$\begin{bmatrix} x & y \\ z & v \end{bmatrix} $$

Matrix (round brackets): $$\begin{pmatrix} x & y \\ z & v \end{pmatrix} $$

two-row notation: $$\begin{bmatrix} 1 & 2 & 3 & 4 \\ 2 & 1 & 4 & 3 \end{bmatrix} $$

cycle notation: $$\begin{bmatrix} x & y \end{bmatrix}$$

Let $$\operatorname{Orb} \left({x}\right)$$ be the orbit of $$x$$.

Let $$\operatorname{Stab} \left({x}\right)$$ be the stabilizer of $x$ by $G$.

Let $$\left({S, \ast_1, \ast_2, \ldots, \ast_n, \circ}\right)_R$$ be an $R$-algebraic structure.

Ordinary proofs
$$ $$

...etc.

Equivalence Proofs
Checking in turn each of the criteria for equivalence:

Ordering Proofs
Checking in turn each of the criteria for an ordering:

Group Proofs
Taking the group axioms in turn:

Ring Proofs
Taking the ring axioms in turn:

Proof by Mathematical Induction
Proof by induction:

For all $$n \in \N^*$$, let $$P \left({n}\right)$$ be the proposition:
 * $$proposition_n$$

$$P(1)$$ is true, as this just says $$proposition_1$$.

Basis for the Induction
$$P(2)$$ is the case:
 * $$proposition_2$$

which has been proved above.

This is our basis for the induction.

Induction Hypothesis
Now we need to show that, if $$P \left({k}\right)$$ is true, where $$k \ge 2$$, then it logically follows that $$P \left({k+1}\right)$$ is true.

So this is our induction hypothesis:
 * $$proposition_k$$

Then we need to show:
 * $$proposition_{k+1}$$

Induction Step
This is our induction step:

$$ $$

So $$P \left({k}\right) \implies P \left({k+1}\right)$$ and the result follows by the Principle of Mathematical Induction.

Therefore:
 * $$proposition_n$$

Tableau proofs
...etc.

Logical Axiom references
These are for tableau proofs:


 * Declaration of a Proposition: P


 * Rule of Assumption: A


 * Rule of Conjunction: $\land \mathcal I$


 * Rule of Simplification: $\land \mathcal E_1$ or $\land \mathcal E_2$


 * Rule of Addition: $\lor \mathcal I_1$ or $\lor \mathcal I_2$


 * Rule of Or-Elimination: $\lor \mathcal E$


 * Modus Ponendo Ponens: $\implies \mathcal E$


 * Rule of Implication: $\implies \mathcal I$


 * Rule of Not-Elimination: $\neg \mathcal E$


 * Rule of Proof by Contradiction: $\neg \mathcal I$


 * Rule of Bottom-Elimination: $\bot \mathcal E$


 * Law of the Excluded Middle: LEM


 * Double Negation Introduction: $\neg \neg \mathcal I$


 * Double Negation Elimination: $\neg \neg \mathcal E$

Barnstars

 * [[File:Tireless Contributor Barnstar.gif]]

The tireless contributor barnstar for all the long hours you have spent adding to the site. Thank you and congratulations!