Conversation started Jun 14, 2023 at 0:05.
Jun 14, 2023 00:05
@D.C.theIII There’s an extra subtlety. What norm are you using to measure $\delta$?
Well I set it up through $\|f(A+H) - f(A) \| = \|(A+H)^{-1} - A^{-1}\|$. I wanted to ask about the $A+H$ notion as well. But for the current moment I used that to represent a general invertible map in the space. So that whole set is less than $\|A^{-1}\| \frac{\epsilon}{1- \epsilon}$ which I have from part (b) of the question.
@shintuku Do you think an explicit function $f(n) = \sum_{i=0}^{n-1} 10^i$ would work?
There is also thr $\|A^{-1}H\| \leq \|A^{-1}\|\|H\| < \epsilon < 1$ relationship I have as well
@THE_CRANIUM yeah there's a bijection between natural numbers made out of only 1 and the strings made out of only 1
take that as an axiom and you can prove your desired bijection @THE_CRANIUM
@Jakobian It's very unclear. But from their comments, I guess they want some way to evaluate the divergent Taylor expansion of $$\lim_{v\to c}\,1/\sqrt{1-v^2/c^2}$$ similar to 1+2+3+4+...=-1/12.
Jun 14, 2023 00:18
So another idea from the same part (b) which can also be applied is that if $\|H\| < \epsilon / \|A^{-1}\|$ then $\|(A+H)^{-1} - A^{-1}\|< \frac{\epsilon}{1- \epsilon}$ but this time $\epsilon = \epsilon / \|A^{-1}\|$
OK, so you’re using the norm, rather than usual Euclidean length. They’re related by an exercise in section 5.1. I don’t get your last thing.
Are we trying to choose $\delta$ so that the norm of the difference of the inverses is less than $\epsilon$?
I used the relationship you allude to from section 5.1 when I did 6 (c): $\|A\| \leq (\sum_{i,j}a_{i,j}^2)^{1/2} \leq \sqrt{n} \|A\|$. And to your second question that's what I'm attempting. THe last part was just me playing around with what I know
well actually I didn't but I know that it was the hint...
What hint?
How do you get $\epsilon$ instead of over $1-\epsilon$?
the hint was if $(\sum h_{ij}^2)^{1/2} < \delta$, then $\|H\| < \delta$, but that was from 6(c)
Jun 14, 2023 00:34
Originally I had said $\delta = \frac{1- \epsilon}{\|A^{-1}\|}$
That has to be wrong. Why?
but that doesn't exactly work with my inequality relationship that I have because what I want is $ \|(A+H)^{-1} - A^{-1}\| < \delta$, but what I have is: $ \|(A+H)^{-1} - A^{-1}\| < \|A^{-1}\| \frac{\epsilon}{1- \epsilon}$ as a relationship. But going back to the original inequalities if I can bound $\|H\|$ properly then I'll be in business
No, that is certainly not what you want!
What’s the $\delta$-$\epsilon$ definition, again?
Jun 14, 2023 00:44
for all $\epsilon > 0 $, and for all $A \in X$ there exists a $\delta > 0$ such that for all $H \in X$ if $\| H - A \| < \delta$, the $\|f(H) - f(A)\| < \epsilon$. Here $X$ is just the set of invertible matrices
I do wonder if I should have used $A+H$ instead of just $H$ in the defintion.
I’d rather stick with my notation. We’re comparing $A$ and $A+H$. So where did your what I want is come from?
@D.C.theIII Indeed.
So if I use the $A+H$ instead I will have $\|H\| < \delta$
Which makes sense.
yea, this part of it was me not being 100% clear on how to treat the objects.
So how do you end up with $\|f(A+H)-f(A)\|<\epsilon$?
Jun 14, 2023 00:51
just fiddling around to get it...I've not diappeared
No prob
Jun 14, 2023 01:14
sigh...I can't seem to isolate an $H$ to find a $\delta$....
This is just basic algebra. You want to make $bx/(1-x)=\epsilon$.
amateur mistake....not remembering that the two $\epsilon$'s are not the same. So what I get is $\epsilon^{'} = \epsilon/(\|A^{-1}\| + \epsilon)$.
so if $\delta = \frac{\epsilon}{(\|A^{-1}\| + \epsilon)\|A^{-1}\|}$ then $\|(A+H)^{-1} - A^{-1}\| < \frac{\epsilon^{'}}{1 - \epsilon^{'}} = \epsilon$
Jun 14, 2023 01:30
One should never have been $\epsilon$ :)
Right. Well done.
I was just trying to see how the $\delta$ creates the implication in the whole idea. it is because we have $\|A^{-1}\|\|H\| < \epsilon$, but in this case $\epsilon$ is my $\epsilon^{'}$ so the relationship that I established in part (b) can be used.
Part of the trick of real analysis is parsing the logic of your epsilons.
 
Conversation ended Jun 14, 2023 at 1:35.