# 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).

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 10:25, 31 January 2023 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Lemma 5 (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\mathscr C$ be a non-empty set of subsets of $S$ that satisfies the circuit axioms: {{:User:Leigh.Samphier/Matroids/Axiom:Circuit Axioms (Matroid)/Formulation 2}} For any ordered tuple $\tuple{x_1, \ldots, x_q...")
- 10:23, 31 January 2023 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Lemma 4 (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\mathscr C$ be a non-empty set of subsets of $S$ that satisfies the circuit axioms: {{:User:Leigh.Samphier/Matroids/Axiom:Circuit Axioms (Matroid)/Formulation 2}} For any ordered tuple $\tuple{x_1, \ldots, x_q...")
- 09:56, 31 January 2023 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Lemma 3 (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\mathscr C$ be a non-empty set of subsets of $S$ that satisfies the circuit axioms: {{:User:Leigh.Samphier/Matroids/Axiom:Circuit Axioms (Matroid)/Formulation 2}} Let $\tuple{x_1, \ldots, x_q}$ be any Definition:Ordered Tuple|ordered tu...")
- 05:10, 31 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Rank of Matroid Circuit is One Less Than Cardinality/Lemma (content was: "#REDIRECT Rank of Matroid Circuit is One Less Than Cardinality/Lemma", and the only contributor was "Leigh.Samphier" (talk))
- 05:09, 31 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Condition 3 Implies Condition 4 (content was: "#REDIRECT User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Condition 3 Implies Condition 1", and the only contributor was "Leigh.Samphier" (talk))
- 05:06, 31 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Condition 3 Implies Condition 4 to User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Condition 3 Implies Condition 1
- 05:05, 31 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Condition 2 Implies Condition 3 (content was: "#REDIRECT User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Condition 1 Implies Condition 3", and the only contributor was "Leigh.Samphier" (talk))
- 05:02, 31 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Condition 2 Implies Condition 3 to User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Condition 1 Implies Condition 3
- 07:32, 26 January 2023 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Lemma 2 (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\mathscr C$ be a non-empty set of subsets of $S$ that satisfies the circuit axioms: {{:User:Leigh.Samphier/Matroids/Axiom:Circuit Axioms (Matroid)/Formulation 2}} == Proof == <onlyinclude> We will define a mapping $...")
- 07:16, 26 January 2023 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Lemma 1 (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\mathscr C$ be a non-empty set of subsets of $S$ that satisfies the circuit axioms: {{:User:Leigh.Samphier/Matroids/Axiom:Circuit Axioms (Matroid)/Formulation 2}} Let $\tuple{x_1, \ldots, x_q}$ be any Definition:Ordered Tuple|ordered tu...")
- 11:37, 24 January 2023 Leigh.Samphier talk contribs created page Definition:Metric Spaces (Redirected page to Definition:Metric Spaces (Mathemetical Branch)) Tag: New redirect
- 11:36, 24 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Definition:Metric Spaces (Mathemetical Branch) (content was: "#REDIRECT Definition:Metric Spaces (Mathemetical Branch)", and the only contributor was "Leigh.Samphier" (talk))
- 11:35, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Definition:Metric Spaces (Mathemetical Branch) to Definition:Metric Spaces (Mathemetical Branch)
- 11:33, 24 January 2023 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Topology/Definition:Metric Spaces (Mathemetical Branch) (Created page with "== Definition == '''Metric spaces''' is the branch of methematics in which the '''topology''' on a '''topological space''' is derived from a notion of '''distance''' or '''metric'''. The notion of a metric gives rise to the treatment of '''convergent sequences''' and '''Definition:Limit of Sequence (Metric Space)|limi...")
- 09:06, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Equivalence of Definitions of Connected Manifold to Equivalence of Definitions of Connected Manifold
- 09:04, 24 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Definition:Connected Manifold/Definition 2 (content was: "#REDIRECT Definition:Connected Manifold/Definition 2", and the only contributor was "Leigh.Samphier" (talk))
- 09:01, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Definition:Connected Manifold/Definition 2 to Definition:Connected Manifold/Definition 2
- 09:00, 24 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Definition:Connected Manifold/Definition 1 (content was: "#REDIRECT Definition:Connected Manifold/Definition 1", and the only contributor was "Leigh.Samphier" (talk))
- 08:56, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Definition:Connected Manifold/Definition 1 to Definition:Connected Manifold/Definition 1
- 08:49, 24 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Topological Manifold is Locally Connected (content was: "#REDIRECT Topological Manifold is Locally Connected", and the only contributor was "Leigh.Samphier" (talk))
- 08:48, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Topological Manifold is Locally Connected to Topological Manifold is Locally Connected
- 08:48, 24 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Topological Manifold is Locally Path-Connected (content was: "#REDIRECT Topological Manifold is Locally Path-Connected", and the only contributor was "Leigh.Samphier" (talk))
- 08:44, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Topological Manifold is Locally Path-Connected to Topological Manifold is Locally Path-Connected
- 08:43, 24 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Topological Manifold is Locally Compact (content was: "#REDIRECT Topological Manifold is Locally Compact", and the only contributor was "Leigh.Samphier" (talk))
- 08:42, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Topological Manifold is Locally Compact to Topological Manifold is Locally Compact
- 08:39, 24 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Locally Euclidean Space is Locally Connected (content was: "#REDIRECT Locally Euclidean Space is Locally Connected", and the only contributor was "Leigh.Samphier" (talk))
- 08:38, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Locally Euclidean Space is Locally Connected to Locally Euclidean Space is Locally Connected
- 08:36, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Open Ball is Connected to Open Ball is Connected
- 08:35, 24 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Closed Ball is Connected (content was: "#REDIRECT Closed Ball is Connected", and the only contributor was "Leigh.Samphier" (talk))
- 08:34, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Closed Ball is Connected to Closed Ball is Connected
- 08:30, 24 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Neighborhood Basis Test (content was: "{{Proofread}} == Theorem == Let $T = \struct{S, \tau}$ be a topological space. Let $s \in S$. Let $\BB$ be a local basis for $x$ in $\struct {S, \tau}$. Let $\NN$ be a set of neighborhoods of $s$. Then: :$\NN$ is a Definition:Neighborhood Basi...", and the only contributor was "Leigh.Samphier" (talk))
- 08:26, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Locally Euclidean Space is Locally Path-Connected to Locally Euclidean Space is Locally Path-Connected
- 08:22, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Open Ball is Path-Connected to Open Ball is Path-Connected
- 08:06, 24 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Closed Ball is Path-Connected (content was: "#REDIRECT Closed Ball is Path-Connected", and the only contributor was "Leigh.Samphier" (talk))
- 08:04, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Closed Ball is Path-Connected to Closed Ball is Path-Connected
- 08:03, 24 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Convex Set is Path-Connected (content was: "#REDIRECT Convex Set is Path-Connected", and the only contributor was "Leigh.Samphier" (talk))
- 08:01, 24 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Convex Set in Normed Vector Space is Path-Connected (content was: "#REDIRECT User:Leigh.Samphier/Topology/Convex Set is Path-Connected", and the only contributor was "Leigh.Samphier" (talk))
- 08:01, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Convex Set is Path-Connected to Convex Set is Path-Connected
- 07:52, 24 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Convex Set in Normed Vector Space is Path-Connected to User:Leigh.Samphier/Topology/Convex Set is Path-Connected
- 07:39, 24 January 2023 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Topology/Convex Set in Normed Vector Space is Path-Connected (Created page with "{{Proofread}} == Theorem == <onlyinclude> Let $V$ be a normed vector space with norm $\norm {\,\cdot\,}$ over $\R$ or $\C$. A convex subset is path-connected in the metric induced by $\norm {\,\cdot\,}$. </onlyinclude> == Proof == Let $C$ be a Definition:Convex Set (Vector...")
- 11:07, 22 January 2023 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Topology/Topological Manifold is Locally Compact (Created page with "{{Proofread}} == Theorem == Let $M$ be a topological manifold. Then $M$ is a locally compact space. == Proof == By definition of manifold: :$M$ is a locally Euclidean space The result follows from Locally Euclidean Space is Locally Compact {{qed}} Category:Manifolds")
- 11:06, 22 January 2023 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Topology/Topological Manifold is Locally Connected (Created page with "{{Proofread}} == Theorem == Let $M$ be a topological manifold. Then $M$ is a locally connected space. == Proof == By definition of manifold: :$M$ is a locally Euclidean space The result follows from User:Leigh.Samphier/Topology/Locally Euclidean Space is Locally Connected {{qed}} Category:Manifolds")
- 10:55, 22 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Locally Euclidean Space is Locally Compact/Proof 2 (content was: "#REDIRECT Locally Euclidean Space is Locally Compact/Proof 2", and the only contributor was "Leigh.Samphier" (talk))
- 10:54, 22 January 2023 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Topology/Locally Euclidean Space is Locally Compact/Proof 1 (content was: "#REDIRECT Locally Euclidean Space is Locally Compact/Proof 1", and the only contributor was "Leigh.Samphier" (talk))
- 09:24, 22 January 2023 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Topology/Closed Ball is Connected (Created page with "{{Proofread}} == Theorem == <onlyinclude> Let $V$ be a normed vector space with norm $\norm {\,\cdot\,}$ over $\R$ or $\C$. A closed ball in the metric induced by $\norm {\,\cdot\,}$ is connected. </onlyinclude> == Proof == Let $B^-$ be a Definition:Closed Ball in Norme...")
- 09:16, 22 January 2023 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Topology/Open Ball is Connected (Created page with "{{Proofread}} == Theorem == <onlyinclude> Let $V$ be a normed vector space with norm $\norm {\,\cdot\,}$ over $\R$ or $\C$. An open ball in the metric induced by $\norm {\,\cdot\,}$ is connected. </onlyinclude> == Proof == Let $B$ be an open ball in $V$. From User:Leig...")
- 09:08, 22 January 2023 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Topology/Closed Ball is Path-Connected (Created page with "{{Proofread}} == Theorem == <onlyinclude> Let $V$ be a normed vector space with norm $\norm {\,\cdot\,}$ over $\R$ or $\C$. A closed ball in the metric induced by $\norm {\,\cdot\,}$ is path-connected. </onlyinclude> == Proof == {{qed}} Category:Normed Vector Spaces Category:Closed...")
- 09:00, 22 January 2023 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Topology/Open Ball is Path-Connected (Created page with "{{Proofread}} == Theorem == <onlyinclude> Let $V$ be a normed vector space with norm $\norm {\,\cdot\,}$ over $\R$ or $\C$. An open ball in the metric induced by $\norm {\,\cdot\,}$ is path-connected. </onlyinclude> == Proof == {{qed}} Category:Normed Vector Spaces Category:Open Ball...")
- 07:15, 22 January 2023 Leigh.Samphier talk contribs created page Category:Locally Euclidean Space is Locally Compact (Created page with "{{SubjectCategory|result = Locally Euclidean Space is Locally Compact}} Category:Euclidean Spaces")
- 07:11, 22 January 2023 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Topology/Locally Euclidean Space is Locally Compact/Proof 2 to Locally Euclidean Space is Locally Compact/Proof 2