# User contributions for Lord Farin

Jump to navigation
Jump to search

#### 23 September 2023

- 10:3310:33, 23 September 2023 diff hist +324 Talk:Main Page No edit summary

#### 29 June 2023

- 09:0009:00, 29 June 2023
diff hist
**+892** Talk:Main Page No edit summary

#### 1 February 2023

- 09:0809:08, 1 February 2023
diff hist
**+515** Definition talk:Inner Product No edit summary

#### 31 January 2023

- 17:2617:26, 31 January 2023 diff hist +153 Definition talk:Inner Product No edit summary

#### 10 January 2023

- 15:2315:23, 10 January 2023 diff hist +489 Definition talk:Banach Space No edit summary

#### 12 December 2022

- 07:3107:31, 12 December 2022
diff hist
**+1,248** Nm User talk:Donpacific Welcome! current - 07:3107:31, 12 December 2022 diff hist +3 Nm User:Donpacific Creating user page for new user. current

#### 2 December 2022

- 21:1421:14, 2 December 2022 diff hist +146 m Definition:Adapted Stochastic Process at Stopping Time No edit summary

#### 18 November 2022

- 09:2909:29, 18 November 2022 diff hist +3 Definition:Complete Disconnected Riemannian Manifold No edit summary current

#### 13 November 2022

- 08:2408:24, 13 November 2022
diff hist
**+1,027** N Talk:Jensen's Formula/Proof 1 Created page with "Thank you User:Yunjiangster for your attempted correction of this proof. However at {{ProofWiki}} we do not simply delete other work because we deem it incorrect. If it is really incorrect then this is established by consensus on the talk page, i.e. here. Obviously this does not apply if the fix is minor. Replacing complete proofs however, is '''not done'''. Instead, I created Jensen's Formula/Proof 3 as a home for your proof. Please check it for overlap with..." current - 08:2208:22, 13 November 2022 diff hist +74 Jensen's Formula No edit summary current
- 08:1908:19, 13 November 2022 diff hist +280 m Jensen's Formula/Proof 1 Reverted edits by Yunjiangster (talk) to last revision by Fake Proof Tag: Rollback
- 08:1808:18, 13 November 2022
diff hist
**+1,396** N Jensen's Formula/Proof 3 Created page with "{{tidy}} {{MissingLinks}} == Theorem == {{:Jensen's Formula}} == Proof == <onlyinclude> {{explain|I don't see why $r {{=}} 0$ is WLOG?}} Assume without loss of generality that $r = 0$. Write $\map f z = B_{\rho_1}(z) \dotsm B_{\rho_n}(z) \map g z$, where $B_\rho(z) := \frac{z - \rho}{1 - z \overline{\rho} }$ is the Blaschke factor at $\rho$, so $\map g z$ is holomorphic and nonzero in $D_r$, and each $B_{\rho_i}(z)$ is holomorphic and has a simple zero $\rho_i$ inside..."

#### 12 November 2022

- 21:2521:25, 12 November 2022
diff hist
**+1,248** Nm User talk:U238Pu238 Welcome! current - 21:2521:25, 12 November 2022 diff hist +33 Nm User:U238Pu238 Creating user page for new user. current
- 21:2321:23, 12 November 2022
diff hist
**+1,248** Nm User talk:Yunjiangster Welcome! current - 21:2321:23, 12 November 2022 diff hist +18 Nm User:Yunjiangster Creating user page for new user. current
- 11:2511:25, 12 November 2022 diff hist +44 Improper Integral of Partial Derivative No edit summary current

#### 11 November 2022

- 17:0517:05, 11 November 2022 diff hist +189 Talk:Main Page No edit summary

#### 8 November 2022

- 20:0620:06, 8 November 2022 diff hist −78 m Definition:Directed No edit summary current
- 20:0520:05, 8 November 2022 diff hist +1 m Definition:Direct Limit No edit summary
- 20:0420:04, 8 November 2022 diff hist +3 m Definition:Directed No edit summary
- 20:0320:03, 8 November 2022
diff hist
**+1,242** User:Lord Farin/Sandbox/Nets No edit summary current

#### 6 November 2022

- 10:5610:56, 6 November 2022 diff hist +456 User:Lord Farin/Sandbox/Nets No edit summary
- 09:0609:06, 6 November 2022 diff hist −47 Definition:Quotient Vector Space No edit summary

#### 5 November 2022

- 11:0711:07, 5 November 2022 diff hist +6 m Talk:Main Page No edit summary
- 11:0611:06, 5 November 2022
diff hist
**+555** Talk:Main Page No edit summary - 11:0111:01, 5 November 2022 diff hist +6 m User:Lord Farin/Sandbox/Nets No edit summary
- 11:0111:01, 5 November 2022
diff hist
**+1,207** N User:Lord Farin/Sandbox/Nets Created page with "== Nets == === Sources === Moore-Smith 1922: [https://www.jstor.org/stable/pdf/2370388.pdf PDF] Conway 1990 Appendix A Kelley - General Topology === Considerations === Basically the confusion over nets boils down to requiring a Definition:Directed Ordering or a Definition:Directed Preordering. Since Moore-Smith uses the latter, it makes sense to have Definition:Moore-Smith Sequence as a mapping from a directed preorder. It furthermore makes sense to be..." - 10:4110:41, 5 November 2022 diff hist +109 User:Lord Farin/Sandbox No edit summary current
- 10:2410:24, 5 November 2022 diff hist +266 Definition talk:Short Exact Sequence of Modules No edit summary

#### 4 November 2022

- 16:5216:52, 4 November 2022 diff hist +229 Definition:Set Ordered by Subset Relation No edit summary current
- 16:5116:51, 4 November 2022 diff hist +86 Definition:Directed Preordering No edit summary
- 16:5016:50, 4 November 2022
diff hist
**−519** Finite Subsets form Directed Set No edit summary current - 16:5016:50, 4 November 2022 diff hist +266 Finite Subsets form Directed Ordering No edit summary current
- 16:4916:49, 4 November 2022
diff hist
**+885** N Finite Subsets form Directed Ordering Created page with "== Theorem == Let $I$ be a set. Denote with $\FF$ the set of finite subsets of $I$. Let $\subseteq$ be the subset relation on $\FF$. Then $\subseteq$ is a directed ordering on $\FF$. == Proof == From Subset Relation is Ordering, we know that $\subseteq$ is an ordering. Now let $F, G \in \FF$. From Set Union Preserves Subs..." - 16:4516:45, 4 November 2022 diff hist +135 N Definition:Set Ordered by Inclusion Redirected page to Definition:Set Ordered by Subset Relation current Tag: New redirect
- 16:4216:42, 4 November 2022 diff hist +209 Definition:Set Ordered by Subset Relation No edit summary
- 16:4116:41, 4 November 2022
diff hist
**+668** N Definition:Set Ordered by Subset Relation/Reverse Inclusion Created page with "== Definition == Let $S$ be a set. <onlyinclude> Let $S$ be ordered by $\supseteq$, the dual of the subset relation $\subseteq$. Then $S$ is said to be '''ordered by reverse inclusion'''. </onlyinclude> == Sources == * {{BookReference|A Course in Functional Analysis|1990|John B. Conway|ed = 2nd|edpage = Second Edition|prev = Open Neighborhoods of Point form Dire..." current - 16:3316:33, 4 November 2022 diff hist +153 N Definition:Ordering by Reverse Inclusion Redirected page to Definition:Set Ordered by Subset Relation/Reverse Inclusion current Tag: New redirect
- 16:3116:31, 4 November 2022
diff hist
**+512** Open Neighborhoods of Point form Directed Ordering No edit summary current - 16:2616:26, 4 November 2022
diff hist
**+752** N Open Neighborhoods of Point form Directed Ordering Created page with "== Theorem == Let $\struct{ S, \tau }$ be a topological space. Let $x \in S$. Let $\NN \subseteq \tau$ be the set of open neighborhoods of $x$. Then $\supseteq$, the ordering of $\NN$ by reverse inclusion, is a directed ordering. == Proof == {{WIP}} == Sources == * {{BookReference|A Course in Functional Analysi..." - 16:2516:25, 4 November 2022 diff hist +135 Definition:Directed Ordering No edit summary
- 16:1816:18, 4 November 2022 diff hist +264 Definition:Directed Ordering No edit summary
- 16:1016:10, 4 November 2022 diff hist +27 m Condition for Linear Dependence of Linear Functionals in terms of Kernel No edit summary
- 13:5613:56, 4 November 2022 diff hist +118 User:Lord Farin/Long-Term Projects/Conway Course No edit summary current
- 13:4013:40, 4 November 2022
diff hist
**+2,185** N Condition for Linear Dependence of Linear Functionals in terms of Kernel Created page with "{{rename|We can do better, right?}} == Theorem == Let $V$ be a Definition:Vector Space over a field $\GF$. Let $f, f_1, \ldots, f_n: V \to \GF$ be linear functionals. Suppose that: :$\ds \bigcap_{i \mathop = 1}^n \ker f_i \subseteq \ker f$ where $\ker f$ denotes the kernel of $f$. Then there exist $\alpha_1, \ldots, \alpha_n \..." - 13:0413:04, 4 November 2022 diff hist +39 Condition for Mapping from Quotient Vector Space to be Well-Defined No edit summary

#### 1 November 2022

- 16:1516:15, 1 November 2022
diff hist
**+1,247** Nm User talk:Kyalophil Welcome! current - 16:1516:15, 1 November 2022 diff hist +30 Nm User:Kyalophil Creating user page for new user. current