All public logs

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

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