All public logs
Jump to navigation
Jump to search
Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 15:16, 15 February 2022 Plammens talk contribs created page Relative Algebraic Closure with Algebraically Closed Extension is Algebraic Closure (Created page with "== Theorem == Let $L$ be an algebraically closed field. Let $L/K$ be a field extension. Then the relative algebraic closure of $K$ contained in $L$ is an algebraic closure of $K$. == Proof == Let $K'$ denote the relative algebraic closure of $K$ contained in $L$. By definition,...")
- 20:42, 15 October 2021 Plammens talk contribs created page Alternating Group is Simple except on 4 Letters/Lemma 3 (Create lemma of existence of even permutation s such that s(1) = i, s(2) = j and s(3) = k)
- 09:11, 9 October 2021 Plammens talk contribs created page Talk:Alternating Group is Simple except on 4 Letters (Created page with "In step two, the article reads (paraphrased) "let $\sigma$ be an even permutation; define $i = \sigma(1)$, $j = \sigma(2)$, $k = \sigma(3)$; then $\sigma (1\; 2\; 3) \sigma^{-...")
- 18:09, 3 October 2021 Plammens talk contribs created page Definition talk:Connected Sum (Created page with "Shouldn't the union be a disjoint union (with the Definition:Disjoint Union (Set Theory))? I'm trying to think what would happen if we had two manifolds which contain some...")
- 10:45, 25 September 2021 Plammens talk contribs created page Talk:Closed Subspace of Compact Space is Compact (Created page with "This might be more of a language question than anything else, but isn't any subspace closed (and open) as a space itself? Shouldn't we say something like "a subspace that, ''w...")
- 12:17, 17 April 2021 Plammens talk contribs created page Talk:Closed Real Interval is Compact/Topological Space (Created page with "Added this page after discussion in Talk:Closed Bounded Subset of Real Numbers is Compact/Proof 1. I set this as Proof 1 in Closed Real Interval is Compact (and shifte...")
- 12:05, 17 April 2021 Plammens talk contribs created page Closed Real Interval is Compact/Topological Space (Created page with "== Theorem == {{:Closed Real Interval is Compact}} == Proof == <onlyinclude> Let $\UU$ be any open cover of $\closedint a b$. Let: :$G = \set {x \...")
- 11:29, 17 April 2021 Plammens talk contribs uploaded File:Munkres - Topology - Comparison of Box Topology and Product Topology.png
- 11:29, 17 April 2021 Plammens talk contribs created page File:Munkres - Topology - Comparison of Box Topology and Product Topology.png
- 11:25, 17 April 2021 Plammens talk contribs uploaded File:Munkres - Topology - Box Topology.png
- 11:25, 17 April 2021 Plammens talk contribs created page File:Munkres - Topology - Box Topology.png
- 18:43, 16 April 2021 Plammens talk contribs created page Definition talk:Product Topology/Natural Basis (Created page with "Could we add this as an equivalent definition? :$\BB = \{\prod_{i = 1}^n U_i \mid \forall i \in \{1,\ldots,n\} \ U_i \in \tau_i \}$ The equivalence follows from the fact that...")
- 15:15, 14 April 2021 Plammens talk contribs created page Definition talk:Product Topology/Finite Product (Created page with ":The '''product topology''' on $\XX$ is defined as the initial topology $\tau$ on $\XX$ with respect to $\family {\pr_i}_{i \mathop \in I}$: ::...")
- 14:36, 14 April 2021 Plammens talk contribs created page Talk:Closed Bounded Subset of Real Numbers is Compact/Proof 1 (Created page with "Perhaps a "Closed interval in $\R$ is compact" page could be extracted from this, if it doesn't exist already? --~~~~")
- 19:10, 1 March 2021 Plammens talk contribs created page Talk:Integration by Substitution/Definite Integral (Created page with "In the theorem statement, should the symbol $t$ in the left-hand side integrand be replaced with $x$ to match the statement "where $x = \phi(u)$"? Also, for the substitution t...")
- 18:38, 26 February 2021 Plammens talk contribs created page Definition talk:Smooth Path/Simple/Complex Plane (Created page with "Could it be that condition (2) is superfluous, since $\gamma(a) = \gamma(b)$? If $\gamma$ is injective on $[a..b)$ then, for all $t$ in $[a..b)$, if $\gamma(t) = \gamma(a)\ [=...")
- 17:17, 9 February 2021 Plammens talk contribs created page Definition talk:Exponential Function/Real/Sum of Series (Created page with "Shouldn't the title just be "[as a ]Series"? "Sum of Series" is nonsensical (unless referring to summing multiple series together, which is not the case): the term "Series" al...")