Related changes
Jump to navigation
Jump to search
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
10 May 2024
m 06:02 | Sturm-Liouville Problem diffhist +1 Prime.mover talk contribs |
m 00:40 | Lagrange's Four Square Theorem/Proof 2 diffhist +1 Robkahn131 talk contribs |
00:09 | N over 2 times Reciprocal of 1 Plus n Squared x Squared to the Power of 3/2 Delta Sequence diffhist +74 Prime.mover talk contribs |
9 May 2024
|
N 19:15 | N over 2 times Reciprocal of 1 Plus n Squared x Squared to the Power of 3/2 Delta Sequence 2 changes history +6,179 [Hbghlyj (2×)] | |||
|
19:15 (cur | prev) +226 Hbghlyj talk contribs (Created a similar page to N over Pi times Reciprocal of 1 Plus n Squared x Squared Delta Sequence) | ||||
N |
|
19:04 (cur | prev) +5,953 Hbghlyj talk contribs (Created page with "== Theorem == <onlyinclude> Let $\sequence {\map {\delta_n} x}$ be a sequence such that: :$\ds \map {\delta_n} x := \frac n 2 \frac 1 {\paren{1 + n^2 x^2}^{3 / 2} }$ Then $\sequence {\map {\delta_n} x}_{n \mathop \in {\N_{>0} } }$ is a delta sequence. That is, in the distributional sense it holds that: :$\ds \lim_{n \mathop \to \infty} \map {\delta_n} x = \map \delta x$ or :$\ds \lim_{n \m...") |
09:59 | Definition:Euler-Lagrange Equation diffhist +462 Prime.mover talk contribs |
8 May 2024
|
N 17:55 | Lagrange Interpolation Formula/Formulation 1 2 changes history +2,895 [Prime.mover (2×)] | |||
|
17:55 (cur | prev) +16 Prime.mover talk contribs | ||||
N |
|
17:53 (cur | prev) +2,879 Prime.mover talk contribs (Created page with "{{MissingLinks}} == Theorem == <onlyinclude> Let $\tuple {x_0, \ldots, x_n}$ and $\tuple {a_0, \ldots, a_n}$ be ordered tuples of real numbers such that $x_i \ne x_j$ for $i \ne j$. Then there exists a unique polynomial $P \in \R \sqbrk X$ of degree at most $n$ such that: :$\map P {x_i} = a_i$ for all $i \in \set {...") |
6 May 2024
|
N 07:13 | Outer Jordan Content of Right Triangle 3 changes history +2,809 [CircuitCraft; Prime.mover (2×)] | |||
|
07:13 (cur | prev) +286 Prime.mover talk contribs | ||||
|
07:12 (cur | prev) +67 Prime.mover talk contribs | ||||
N |
|
06:14 (cur | prev) +2,456 CircuitCraft talk contribs (Created page with "== Theorem == Let $T \subseteq \R^2$ be defined as: :$T = \set {\tuple {x, y} \in \R^2 : x \ge 0 \land y \ge 0 \land x + y \le 1}$ Then: :$\map {m^*} T = \dfrac 1 2$ == Proof == Let $\epsilon > 0$ be arbitrary. By the Axiom of Archimedes, let $n \in \N$ such that: :$n > 2 \epsilon$ Define $C \subseteq \powerset {\R^2}$ as: :$C = \set {\closedint {\dfrac p n} {\dfrac {p + 1} n} \times \closedint {\dfrac q n} {\dfrac {q + 1} n} : p, q \in \set {0, 1, \dotsc, n...") |
5 May 2024
10:03 | Decomposition of Field Extension as Separable Extension followed by Purely Inseparable diffhist +155 Hbghlyj talk contribs (Fixed {{explain|why?}}) |
4 May 2024
|
23:52 | Decomposition of Field Extension as Separable Extension followed by Purely Inseparable 4 changes history +186 [Hbghlyj; Prime.mover (3×)] | |||
m |
|
23:52 (cur | prev) +1 Prime.mover talk contribs | |||
|
23:52 (cur | prev) +21 Prime.mover talk contribs | ||||
|
15:15 (cur | prev) +95 Hbghlyj talk contribs (add one more step) | ||||
|
08:45 (cur | prev) +69 Prime.mover talk contribs |
|
15:13 | Definition:Separable Degree/Definition 2 2 changes history +307 [Prime.mover; Hbghlyj] | |||
m |
|
15:13 (cur | prev) +259 Hbghlyj talk contribs (Fixed {{NoSources}}) | |||
|
08:42 (cur | prev) +48 Prime.mover talk contribs |
08:41 | Definition:Separable Degree/Definition 3 diffhist +49 Prime.mover talk contribs |
08:41 | Separable Degree is At Most Equal To Degree diffhist +47 Prime.mover talk contribs |
|
08:36 | Separable Degree of Field Extensions is Multiplicative 2 changes history +56 [Prime.mover (2×)] | |||
|
08:36 (cur | prev) +20 Prime.mover talk contribs | ||||
m |
|
08:30 (cur | prev) +36 Prime.mover talk contribs |
|
08:20 | Primitive Element Theorem 6 changes history +1,913 [Prime.mover; Hbghlyj (5×)] | |||
m |
|
08:20 (cur | prev) +72 Prime.mover talk contribs | |||
m |
|
01:00 (cur | prev) +65 Hbghlyj talk contribs (add more words) | |||
m |
|
00:57 (cur | prev) −33 Hbghlyj talk contribs (not necessary to write " : E \longrightarrow \overline{F}" so removed it) | |||
m |
|
00:55 (cur | prev) +5 Hbghlyj talk contribs (\bar to \overline) | |||
m |
|
00:54 (cur | prev) 0 Hbghlyj talk contribs (Fix mistake) | |||
|
00:53 (cur | prev) +1,804 Hbghlyj talk contribs (Add proof) |
|
08:16 | Steinitz's Theorem 4 changes history +2,101 [Prime.mover (2×); Hbghlyj (2×)] | |||
m |
|
08:16 (cur | prev) +1 Prime.mover talk contribs | |||
|
08:14 (cur | prev) +50 Prime.mover talk contribs | ||||
|
01:35 (cur | prev) +30 Hbghlyj talk contribs (add more words) | ||||
|
01:33 (cur | prev) +2,020 Hbghlyj talk contribs (Add proof) |
3 May 2024
|
N 23:41 | Separable Degree of Field Extensions is Multiplicative 3 changes history +1,473 [Hbghlyj (3×)] | |||
m |
|
23:41 (cur | prev) +101 Hbghlyj talk contribs (add more words) | |||
|
23:38 (cur | prev) +879 Hbghlyj talk contribs (Add proof) | ||||
N |
|
19:53 (cur | prev) +493 Hbghlyj talk contribs (Creating the page based on a theorem in Lang's book, which in needed in Transitivity of Separable Field Extensions) |
|
N 23:12 | Steinitz's Theorem 3 changes history +1,154 [Hbghlyj (3×)] | |||
|
23:12 (cur | prev) +157 Hbghlyj talk contribs (add a BookReference) Tag: Visual edit: Switched | ||||
m |
|
20:27 (cur | prev) −61 Hbghlyj talk contribs | |||
N |
|
20:26 (cur | prev) +1,058 Hbghlyj talk contribs (A theorem needed in the proof of Primitive Element Theorem. name based on Wikipedia page https://en.wikipedia.org/wiki/Steinitz%27s_theorem_(field_theory)) |
|
23:11 | Primitive Element Theorem 4 changes history +357 [Hbghlyj (4×)] | |||
|
23:11 (cur | prev) +155 Hbghlyj talk contribs (add a BookReference) | ||||
|
20:24 (cur | prev) +41 Hbghlyj talk contribs (Add "Also see") | ||||
m |
|
20:23 (cur | prev) +15 Hbghlyj talk contribs | |||
|
20:11 (cur | prev) +146 Hbghlyj talk contribs (add a BookReference) |
|
N 19:55 | Separable Degree is At Most Equal To Degree 5 changes history +657 [Hbghlyj (5×)] | |||
|
19:55 (cur | prev) −47 Hbghlyj talk contribs (Change $k$ to $F$) | ||||
m |
|
19:52 (cur | prev) −11 Hbghlyj talk contribs (Typo) | |||
|
19:52 (cur | prev) +142 Hbghlyj talk contribs (Links) | ||||
m |
|
19:51 (cur | prev) +4 Hbghlyj talk contribs (Typo) | |||
N |
|
19:51 (cur | prev) +569 Hbghlyj talk contribs (Creating the page based on a theorem in Lang's book, which in needed in Transitivity of Separable Field Extensions) |
N 19:37 | Definition:Separable Degree/Definition 3 diffhist +348 Hbghlyj talk contribs (Created page with "== Definition == <onlyinclude> Let $K$ be a normal extension of $F$ that contains $E$. The '''separable degree''' $\index E F_{\operatorname {sep} }$ of $E / F$ is the number of embeddings of $E$ into $K$ that fix $F$. </onlyinclude> Category:Separable Field Extensions") |
|
N 19:36 | Definition:Separable Degree/Definition 2 2 changes history +345 [Hbghlyj (2×)] | |||
m |
|
19:36 (cur | prev) +1 Hbghlyj talk contribs (Add a blank line) | |||
N |
|
19:35 (cur | prev) +344 Hbghlyj talk contribs (Created page with "== Definition == <onlyinclude> Let $\bar F$ be the algebraic closure of $F$. The '''separable degree''' $\index E F_{\operatorname {sep} }$ of $E / F$ is the number of embeddings of $E$ into $\bar F$ that fix $F$. </onlyinclude> Category:Separable Field Extensions") |