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).
- 12:03, 26 April 2024 Prime.mover talk contribs created page Definition:Isolated Point of Metric Space (Redirected page to Definition:Isolated Point (Metric Space)/Space) Tag: New redirect
- 11:54, 26 April 2024 Prime.mover talk contribs created page Isomorphism (Abstract Algebra)/Examples/Addition under Doubling (Created page with "== Example of Isomorphism == <onlyinclude> Let $\N$ denote the set of natural numbers. Let $2 \N$ denote the set of even non-negative integers: :$2 \N := \set {0, 2, 4, 6, \ldots}$ Let $\struct {\N, +}$ and $\struct {2 \N, +}$ be the algebraic structures forme...")
- 11:41, 26 April 2024 Prime.mover talk contribs created page Definition:Isometrically Isomorphic Normed Division Rings (Redirected page to Definition:Isometric Isomorphism/Normed Division Ring) Tag: New redirect
- 11:39, 26 April 2024 Prime.mover talk contribs created page Definition:Isometrically Isomorphic Normed Vector Spaces (Redirected page to Definition:Isometric Isomorphism/Normed Vector Space) Tag: New redirect
- 11:09, 26 April 2024 Prime.mover talk contribs created page Isometry Preserves Congruence (Created page with "== Theorem == Let $\Gamma = \R^n$ denote the real Euclidean space of $n$ dimensions, wher $n = 2$ or $n = 3$. Let $\phi: \Gamma \to \Gamma$ be an isometry on $\Gamma$. Let $\FF$ be a geometric figure in $\Gamma$. The image of $\FF$ under $\phi$ is Definition:Congruence...")
- 11:03, 26 April 2024 Prime.mover talk contribs created page Reflection is Isometry (Created page with "== Theorem == Let $\Gamma = \R^n$ denote the real Euclidean space of $n$ dimensions, wher $n = 2$ or $n = 3$. Let $\phi$ be a reflection in $\Gamma$. Then $\phi$ is an isometry. == Proof == {{ProofWanted}} == Sources == * {{BookReference|The Penguin Dictionary of Mathematics|1998|David Nelson|ed = 2nd|ed...")
- 10:56, 26 April 2024 Prime.mover talk contribs created page Rotation is Isometry (Created page with "== Theorem == Let $\Gamma = \R^n$ denote the real Euclidean space of $n$ dimensions, wher $n = 2$ or $n = 3$. Let $r_\theta$ be a rotation in $\Gamma$: Then $r_\theta$ is an isometry. == Proof == {{ProofWanted}} == Sources == * {{BookReference|The Penguin Dictionary of Mathematics|1998|David Nelson|ed = 2nd...")
- 09:04, 26 April 2024 Prime.mover talk contribs created page Definition:Rigid Motion (Redirected page to Definition:Isometry (Euclidean Geometry)) Tag: New redirect
- 09:04, 26 April 2024 Prime.mover talk contribs created page Definition:Isometric Map (Redirected page to Definition:Isometry (Euclidean Geometry)) Tag: New redirect
- 09:04, 26 April 2024 Prime.mover talk contribs created page Definition:Isometric Mapping (Redirected page to Definition:Isometry (Euclidean Geometry)) Tag: New redirect
- 09:03, 26 April 2024 Prime.mover talk contribs deleted page Definition:Isometry (Euclidean Space) (content was: "#REDIRECT Definition:Isometry (Euclidean Geometry)", and the only contributor was "Prime.mover" (talk))
- 09:01, 26 April 2024 Prime.mover talk contribs deleted page Definition:Isometry (Euclidean Space)/Context (content was: "#REDIRECT Definition:Isometry (Euclidean Geometry)/Context", and the only contributor was "Prime.mover" (talk))
- 08:57, 26 April 2024 Prime.mover talk contribs created page Definition:Isometry (Euclidean Geometry)/Also known as (Created page with "== Isometry in the context of Euclidean Geometry: Also known as == <onlyinclude> An '''isometry''' is also known as an '''isometric mapping''', or an '''isometric map'''. Texts which approach the subject from the direction of applied mathematics and ...")
- 08:56, 26 April 2024 Prime.mover talk contribs moved page Definition:Isometry (Euclidean Space)/Context to Definition:Isometry (Euclidean Geometry)/Context
- 08:56, 26 April 2024 Prime.mover talk contribs moved page Definition:Isometry (Euclidean Space) to Definition:Isometry (Euclidean Geometry)
- 08:55, 26 April 2024 Prime.mover talk contribs created page Category:Isometries (Euclidean Geometry) (Created page with "{{SubjectCategory|Isometry (Euclidean Geometry)}} Category:Euclidean Geometry Category:Isometries")
- 08:55, 26 April 2024 Prime.mover talk contribs created page Category:Definitions/Isometries (Euclidean Geometry) (Created page with "{{DefinitionCategory|def = Isometry (Euclidean Geometry)|Euclidean Geometry|Isometries}}")
- 08:49, 26 April 2024 Prime.mover talk contribs created page Definition:Isometry (Euclidean Space) (Created page with "{{help|I am trying to strike a balance between the mathematically rigorous definition of an isometry based on the context of a metric space (see Definition:Isometry (Metric Spaces) and an intuitive understanding of such a mapping as one is taught at school, with that intuitive idea of "the plane" and "ordinary space", so as to bridge the gap between rotations/reflection/translation etc. in space and the general metric space with its general definition of a distance,...")
- 08:49, 26 April 2024 Prime.mover talk contribs created page Definition:Isometry (Euclidean Space)/Context (Created page with "== Definition == <onlyinclude> An '''isometry''' is defined usually for either: :$n = 2$, representing the plane or: :$n = 3$, representing ordinary space. </onlyinclude> == Also see == {{Link-to-category|Isometries (Euclidean Space)|isometries|context = Euclidean Space|contextdisp = Euclidean spaces}} Category:Definitions/Isometries (Euclidean Space)")
- 07:21, 26 April 2024 Prime.mover talk contribs created page Category:Limit to Infinity of Binomial Coefficient over Power (Created page with "{{Result-category}} Category:Binomial Coefficients")
- 03:00, 26 April 2024 CircuitCraft talk contribs created page Limit to Infinity of Binomial Coefficient over Power/Proof 2 (Created page with "== Theorem == {{:Limit to Infinity of Binomial Coefficient over Power}} == Proof == <onlyinclude> This proof applies to the special case where $k \in \Z$. Then, {{hypothesis}}, we need only consider: :$k \in \set {0, 1, 2, \dotsc}$ By Gamma Function Extends Factorial, it suffices to show: :$\ds \lim_{r \mathop \to \infty} \frac {\dbinom r k} {r^k} = \frac 1 {k !}$ We have: {{begin-eqn}} {{eqn | q = \forall r \in \R | l = \frac {\dbinom r k} {r^k} |...")
- 02:14, 26 April 2024 CircuitCraft talk contribs created page Limit to Infinity of Binomial Coefficient over Power/Proof 1 (Created page with "== Theorem == {{:Limit to Infinity of Binomial Coefficient over Power}} == Proof == <onlyinclude> {{begin-eqn}} {{eqn | l = \lim_{r \mathop \to \infty} \frac {\dbinom r k} {r^k} | r = \lim_{r \mathop \to \infty} \frac {\map \Gamma {r + 1} } {\map \Gamma {k + 1} \map \Gamma {r - k + 1} r^k} | c = Gamma Function Extends Factorial }} {{eqn | r = \lim_{r \mathop \to \infty} \frac 1 {\map \Gamma {k + 1} } \frac {\sqrt {2 \pi r} \paren {r / e}^r} {\sqrt {2 \p...")
- 23:40, 25 April 2024 Prime.mover talk contribs created page User talk:Sabaday (Welcome!)
- 23:40, 25 April 2024 Prime.mover talk contribs created page User:Sabaday (Creating user page for new user.)
- 23:40, 25 April 2024 User account Sabaday talk contribs was created by Prime.mover talk contribs and password was sent by email
- 11:34, 25 April 2024 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Rank Axioms/Formulation 1 Implies Formulation 2 (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\rho : \powerset S \to \Z$ be a mapping from the power set of $S$ to the integers. Let $\rho$ satisfy formulation 1 of the rank axioms: {{:Axiom:Rank Axioms (Matroid)/Definition 1}} Then $\rho$ is the Definition:Rank Function (Matroid)...")
- 11:29, 25 April 2024 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Rank Axioms/Formulation 2 Implies Formulation 1 (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\rho : \powerset S \to \Z$ be a mapping from the power set of $S$ to the integers. Let $\rho$ satisfy formulation 2 of the rank axioms: {{:Axiom:Rank Axioms (Matroid)/Definition 2}} Then $\rho$ satisfies Axiom:Rank Axioms (Matroid)/Def...")
- 10:51, 25 April 2024 Prime.mover talk contribs deleted page Completion Theorem/Normed Vector Space (content was: "#REDIRECT Completion Theorem (Normed Vector Space)", and the only contributor was "Prime.mover" (talk))
- 10:43, 25 April 2024 Prime.mover talk contribs created page Category:Isometry between Metric Spaces is Continuous (Created page with "{{Result-category}} Category:Isometries (Metric Spaces)")
- 10:21, 25 April 2024 Prime.mover talk contribs created page Category:Definitions/Linear Isometries (Created page with "{{DefinitionCategory|def = Linear Isometry|Normed Vector Spaces|Isometries}}")
- 10:14, 25 April 2024 Prime.mover talk contribs created page Completion Theorem (Created page with "{{Disambiguation}} === Completion Theorem (Metric Space) === {{:Completion Theorem (Metric Space)}} === Completion Theorem (Measure Space) === {{:Completion Theorem (Measure Space)}} === Completion Theorem (Normed Vector Space) === {{:Completion Theorem (Normed Vector Space)}}")
- 10:11, 25 April 2024 Prime.mover talk contribs created page Category:Completion Theorem (Measure Space) (Created page with "{{Result-category}} Category:Measure Spaces Category:Completion Theorem")
- 10:09, 25 April 2024 Prime.mover talk contribs moved page Completion Theorem/Normed Vector Space to Completion Theorem (Normed Vector Space)
- 10:09, 25 April 2024 Prime.mover talk contribs created page Category:Completion Theorem (Normed Vector Space) (Created page with "{{Result-category}} Category:Normed Vector Spaces Category:Completion Theorem")
- 09:59, 25 April 2024 Prime.mover talk contribs moved page Category:Completion Theorem to Category:Completion Theorem (Metric Space)
- 09:55, 25 April 2024 Prime.mover talk contribs created page Category:Isometries (Riemannian Manifolds) (Created page with "{{SubjectCategory|Isometry (Riemannian Manifolds)|disp = isometries|context = Riemannian Manifold|contextdisp = Riemannian manifolds}} Category:Riemannian Manifolds Category:Isometries")
- 09:55, 25 April 2024 Prime.mover talk contribs created page Category:Definitions/Isometries (Riemannian Manifolds) (Created page with "{{DefinitionCategory|def = Isometry (Riemannian Manifolds)|disp = isometries|context = Riemannian Manifold|contextdisp = Riemannian manifolds|Riemannian Manifolds|Isometries}}")
- 09:50, 25 April 2024 Prime.mover talk contribs created page Category:Definitions/Isometries (Inner Product Spaces) (Created page with "{{DefinitionCategory|def = Isometry (Inner Product Spaces)|disp = isometries|context = Inner Product Space|contextdisp = inner product spaces|Inner Product Spaces|Isometries}}")
- 09:50, 25 April 2024 Prime.mover talk contribs created page Category:Isometries (Inner Product Spaces) (Created page with "{{SubjectCategory|Isometry (Inner Product Spaces)|disp = isometries|context = Inner Product Space|contextdisp = inner product spaces}} Category:Inner Product Spaces Category:Isometries")
- 08:57, 25 April 2024 Prime.mover talk contribs created page Definition:Isometry (Metric Spaces)/Also defined as (Created page with "== Isometry in the context of Metric Spaces: Also defined as == <onlyinclude> Some sources do not insist that an '''isometry''' be surjective. Make sure to know which prerequisites are used when quoting results about '''isometries'''. </onlyinclude> == Sources == {{SourceReview}} Category:De...")
- 08:53, 25 April 2024 Prime.mover talk contribs created page Definition:Metrically Equivalent Spaces (Redirected page to Definition:Isometry (Metric Spaces)) Tag: New redirect
- 08:53, 25 April 2024 Prime.mover talk contribs created page Definition:Isometry (Metric Spaces)/Also known as (Created page with "== Isometry in the context of Metric Spaces: Also known as == <onlyinclude> An '''isometry''' is also known as a '''metric equivalence'''. Two '''isometric spaces''' can also be referred to as '''metrically equivalent'''. Texts which approach the...")
- 08:42, 25 April 2024 Prime.mover talk contribs moved page Category:Isometries to Category:Isometries (Metric Spaces)
- 08:41, 25 April 2024 Prime.mover talk contribs moved page Category:Definitions/Isometries to Category:Definitions/Isometries (Metric Spaces)
- 08:21, 25 April 2024 Prime.mover talk contribs created page Category:Examples of Acnodes (Created page with "{{ExampleCategory|def = Acnode}} Category:Acnodes")
- 08:20, 25 April 2024 Prime.mover talk contribs created page Acnode/Examples/y^2 = x^3 - x^2 (Created page with "== Examples of Acnodes == <onlyinclude> Consider the locus of the equation: :$y^2 = x^3 - x^2$ :320px This has an acnode at $\tuple {0, 0}$. </onlyinclude> == Sources == * {{BookReference|The Penguin Dictionary of Mathematics|1998|David Nelson|ed = 2nd|edpage = Second Edition|prev = Definition:Acnode|next = Definition:Isolated Singularity|e...")
- 07:44, 25 April 2024 Prime.mover talk contribs created page File:Y-sq-is-x-cu-minus-x-sq.png
- 07:44, 25 April 2024 Prime.mover talk contribs uploaded File:Y-sq-is-x-cu-minus-x-sq.png
- 07:28, 25 April 2024 Prime.mover talk contribs created page Category:Isolation of Roots (Created page with "{{SubjectCategory|Isolation of Root}} Category:Roots of Equations Category:Roots Category:Proof Techniques")
- 07:27, 25 April 2024 Prime.mover talk contribs created page Category:Definitions/Isolation of Roots (Created page with "{{DefinitionCategory|def = Isolation of Root|Roots of Equations|Roots|Proof Techniques}}")