@Thorgott ok, am finally getting off of work so I’m able to think about this. I see in the case of f=id that I’d be defining h as the constant map to c. So certainly c not in the range is a necessary condition for h to be injective. I guess I’m still stumped in terms of seeing how to argue that f injective and c not in the range get me to the conclusion.
I must somehow be able to show that f^k(c) = f^j(c) means k = j but I still can’t quite see how
@Thorgott OK I think this might get me there but hoping to follow up. Let me consider the corestriction of $f$ to its range and then apply to both sides, so that I get as you say $c=f^{j-k}(c)$ (incidentally, how would you make this precise? induction?). Now we conclude that $j = k$ for otherwise we would have $c \in \ran f$
it might be good self study practice in general, but it severely limits your ability to get useful feedback from third party sources
particularly if it amounts to (as it seems to here) not "how do i do this proof by induction" but "how do i do proof by induction in this particular way"
but, 99% of real life difficulty in induction proofs is figuring out how to structure the argument so that induction is possible (roughly speaking, "figuring out what to induct on"), and i don't know of any textbook that gives a particularly good sense of this
in crummy 'intro to proof' books it is literally always drop dead obvious what you are supposed to induct on, because the problems are basically made up to fit into some recipe
and in something like enderton it's like "wait, do we have the order on natural numbers 'yet' or are we still phrasing everything in terms of the successor operator"
which is certainly a kind of difficulty worth overcoming in induction proofs, but maybe not the most representative kind
and its not well delineated away from the stuff thats like "here is a way to encode ordered pairs as sets" and "here is what an inductive set is"
insofar as it treats the axioms in a depth greater than most textbooks, and consequently teaches more of set theory than any average math PhD would need to know
a lot of people expect a book with 'set theory' or equivalent as its title to be a kind of 'just the facts' handbook, and enderton is more than that
hmm, if you recall specific instances of what you mean i'd definitely be curious. i'm basically done Ch 4 and the "deepest" things I've taken I think relate to proving that certain sets exist
by using axioms like pairing, union, etc to show that some set contains them, and then axiom schema of specification to specify down to that set
I suspect that's because us rookies are drawn to maths given that it promises complete precision, and then you see that you have to go down, down, down... to actually realize that promise. I am content for now going no further than Enderton though
it's not the end of the world to power through anything, and i don't want to make it out like it's scary or inaccessible, i just wonder whether everyone bothers to examine why they want to do set theory
it's like if you were learning a language, at some point in acquiring the rules of grammar, and their big exceptions, and the histories of how words or figures of speech developed from other words or languages, eventually you reach a point where you're learning stuff that > 99.9% of native speakers have never heard of and never use
and with something like set theory, you hit that point sooner than a lot of people think
and yeah i actually wonder how many books are actually worth reading start to finish
a lot of standard textbook advice fits the format "read through chapter x and then stop," where x is often only a little more than halfway through
But surely something to be said for just enjoying a good book :) I agree some are slogs, but some are just really pleasant. (Baby) Rudin fell in the first category (at least for me), but Enderton I am really enjoying. LADR was another beautiful one
LADR was long ago and I'm so out of practice that i gotta do another LA book sadly, hence hoffman and kunze
i believe that some people might have hit chapter 8, because i did, despite xander's advice (which is the best advice and the advice taken by my first analysis prof). but nobody has ever gone through chapters 9, 10, and 11 of rudin. you can't. your brain shuts off.
@Jakobian suppose if there is a sinx term in an expression and the x tends to zero, they multiply and divide by x and take that particular term to be 1
@KavinIshwaran you can't do that unless it makes sense with respect to the rules that limits obey e.g. products, sums, quotients of limits
You would have to be more specific and only then we can discuss if in a given limit it makes sense to make such substitution. In general the answer is no, it doesn't make sense
to be more specific, in a question which goes like this : limit x tends to zero (tanx - xsinx)/x they multiplied sin x by x and divided it with x (that particular term alone and then LH rule is used)
@Jakobian Oh Ok. I will make a memory note on this.
The above is supposed to be an example of a sequence that converges in mean but not pointwise a.e. I simply do not understand it, since I believe there are some typos. How can n increase from $2^m$ to $2^m-1$? Also, is $f_4$ correct? Mightily confused.
Trying to figure out what the correct example should be...
The typewriter sequence is an example of a sequence which converges to zero in measure but does not converge to zero a.e.
Could someone explain why it does not converge to zero a.e.?
$f_n(x) = \mathbb 1_{\left[\frac{n-2^k}{2^k}, \frac{n-2^k+1}{2^k}\right]} \text{, where } 2^k \leqslant n < 2^{k+...