Mathematics

Associated with Math.SE; for both general discussion & math qu...
16:50
ok, thank you!
16:32
yeah, should have included that. Rudin's definition is $P^2=P$ (in other words, $P(Px)=Px$).
16:31
@Thorgott right, we're running into trouble with $P^2=P$, or?
16:24
true :) ok
16:23
well, they do have the same range, I suspect
16:21
@BenSteffan ok 👍 so for instance, if $u_1=e_1$ and $u_2=e_2$ (the standard basis vectors), then $P_1(c_1e_1+c_2e_2)=c_1e_1$ and $P_2(c_1v_1+c_2e_2)=c_1v_1$ where $v_1=2e_1$, are different projections, right?
16:14
yes
16:14
It seems like his definition of vector space is a subspace of Euclidean space :)
16:13
16:12
ok
16:11
16:08
hmm, ok
16:07
@BenSteffan by ground field, do you mean e.g. $\mathbb R$?
16:05
Consider a finite-dimensional vector space $X$. Let $X_1$ be a subspace of $X$. Then there's a projection $P$ in $X$ with range $X_1$. I get the existence of a such a $P$. Let $\{u_1,\ldots,u_n\}$ be a basis of $X$ such that $\{u_1,\ldots,u_k\}$ is a basis for $X_1$ (here $k<n$). Then put $$P(c_1u_1+\cdots+c_nu_n)=c_1u_1+\cdots+c_ku_k.$$ Rudin then claims that if $0 < \mathrm{dim} X1 < \mathrm{dim} X$, there are infinitely many projections in $X$ with range $X_1$. Why?
Wed 22:40
He has introduced the Jacobian matrix. I don't know if that counts as proving that statement which I'm after.
Wed 22:38
But we need to know that $f:\mathbb R^n\to\mathbb R^m$ is differentiable iff each of its components are first, then we can apply the statement about parameter dependent matrices and continuity.
Wed 22:36
He does have a statement concerning the continuity of a parameter dependent matrix; it's continuous iff its entries are.
Wed 22:31
I struggle with understanding the assumptions of the converse with what Rudin has established prior to this theorem. Why does it suffice to consider $m=1$? Nowhere has he proven yet that $f:\mathbb R^n\to\mathbb R^m$ is differentiable iff each of its components are. I think this is key in his assumption in this theorem, or?
Wed 22:31
Wed 18:25
alright, thanks for the comments
Wed 15:28
@SoumikMukherjee which edition of Friedberg et al.? :) they have a couple of editions
Wed 15:16
Like did you read the full book or just some chapters?
Wed 15:16
@SoumikMukherjee ok 👍 thanks for sharing. How much of these books did you read?
Wed 14:59
Side note; I'm not very familiar with Axler's treatment as a whole, so my claim that he is not really using them may be inaccurate. I'm only familiar with his formatting really :) and I think it is different from other math texts to say the least.
Wed 14:59
I may have asked something similar before, but just out of curiosity, from which book did you'all learn linear algebra from? Would you recommend the book you learnt from? Second, do you think a treatment of determinants like in Axler's book is pedagogically sound (i.e. putting them in the very last chapter and not really using them as a means to prove some of the theorems in a second course in linear algebra)?
Tue 15:18
@XanderHenderson the logarithm is defined to be the inverse of the exponential function $E$, which in turn is defined in terms of its power series. So the logarithm $L$ is the function that satisfies $$E(L(y))=y,\quad y>0.$$This is Rudin's definition. He then derives through the chain rule the identity $$L(y)=\int_1^y\frac{dx}{x}$$and comments that sometimes this is taken to be the starting point of the theory of the logarithm.
Tue 15:14
Is it circular to use L'Hospital's rule when computing $$\lim_{x\to0}\frac{\log(x+1)}{x}?$$
Mon 22:37
2
Q: Uniform convergence in the proof of Stirling's formula by Rudin

psieThere are some related questions, e.g. here (but with no answer). I'm concerned about the proof of Stirling's formula in Rudin's PMA. I've spent a good portion of the day trying to figure out with what tools presented in the book so far I can best understand this. For a full overview of the part ...

Mon 18:42
@psie I've been stuck for hours now :( does anyone have a hunch, just a hunch, of what it means for $\psi_x(s)$ to converge uniformly to $\psi(s)$, where $x$ varies continuously, not just in the naturals?
Mon 17:36
@psie could one simply say that if $$\sup_{s\in[-A,A]}\left|e^{-s^2}-\psi_x(s)\right|\to0$$as $x\to\infty$, then the convergence is uniform?
Mon 16:48
It's causing me some confusion that we have $\psi_x$ and not $\psi_n$, where $n$ is a natural number.
Mon 16:47
I think I know which theorem in the book he uses to justify this claim, however, that theorem deals with sequences of functions, whereas here it seems we have a function that is indexed by a continuous variable $x\in (0,\infty)$. How can I deal with this?
Mon 16:47
In Rudin's PMA, when he proves the Stirling formula, i.e. $$\lim_{x\to\infty}\frac{\Gamma(x+1)}{(x/e)^x\sqrt{2\pi x}}=1,$$ he defines a continuous function $h(u)$ such that $h(u)\to\infty$ as $u\to -1$ and $h(u)\to 0$ as $u\to\infty$. Then he derives an integral expression for $\Gamma(x+1)$ in terms of the function $\psi_x(s)$ defined in the screenshot. He claims this function converges uniformly on $[-A,A]$ for every $A<\infty$.
Mon 16:47
Mon 00:05
ok 👍
Mon 00:00
yeah he probably is
Sun 23:53
Usually when you show uniqueness of something, you assume two things exist that satisfy in this case (a), (b) and (c), and then you show they equal.
Sun 23:51
This proof strategy is new to me. Showing something is a limit of some sequence to show uniqueness...hmm, maybe I'll have that for breakfast tomorrow. Let's see.
Sun 23:48
Yes, you're right :)
Sun 23:47
Ah ok, so he is showing that the function $f$ is the limit of a sequence of functions, and by the uniqueness of limits, there can only be one limiting function $f$.
Sun 23:45
@XanderHenderson that shows existence, right? Not uniqueness.
Sun 23:43
Could someone explain the conclusion of this proof? Rudin wants to show a function satisfying (a), (b) and (c) is uniquely determined. Then at the end, he just says $\varphi(x)$ is determined. What does he mean?
Sun 23:42
Sun 20:29
ok 👍
 

 Ten fold

CrossValidated's general room for gossip, grumbles, and idle c...
13:10
ok 👍
13:05
@User1865345 awesome, thank you. Maybe this is a tough and too broad of a question, but is the linear algebra in statistics mainly concerned with finite-dimensional vector spaces? I've heard Axler's book being criticized for being very functional analysis oriented, i.e. generalizing very quickly to infinite-dimensional spaces. Hence I am considering focusing on a text that maybe does not generalize as quickly.
11:07
I get the impression Axler's Linear Algebra Done Right is a popular choice among mathematicians. Is this also a book that anyone of you would recommend?
11:07
My situation is as follows; I have some good lecture notes in linear algebra, but they don't really serve as a reference. I mean not necessarily statistics oriented linear algebra, but I also don't mean to exclude those that are statistics oriented. I am simply looking for a good reference, a book that maybe can help make statistics oriented linear algebra much easier.
11:06
Hope it's ok I ask this question here. I've seen a couple of related questions on the site, but I thought maybe this question hasn't been asked so much in chat so I'd try here. I was wondering, which linear algebra as a preparation for statistics studies would you all recommend?
11:06
Hi there,