Conversation started Nov 26, 2011 at 20:44.
QED
QED
Nov 26, 2011 20:44
and I think part of the reason is because they get the = symbol involved
if you know that lim A = x and lim A = y it's not necessarily the case that x = y. You have to prove that.
oops
Hausdorff to the rescue?
QED
QED
(I think the other part is people not used to replacing things with definitions and not having experience with quantifiers)
Hausdorff?
Yes.
The uniqueness of the limits follows from the fact that those topological spaces are Hausdorff.
QED
QED
ah
I didn't know that: I think I only used limits in the real and complex cases
never general sets
You will learn it soon :-).
Nov 26, 2011 20:56
@QED If you would like a small prelude... Remember that sequences have limits. Also functions have limits at a given point. Is there a reason to give the same name to both these things? Does this idea generalise beyond the two examples I mentioned?
QED
QED
yes
Well, I am just raising some questions, not giving answers =). As Jonas said, you will learn these soon...
The keyword to look for is topological space.
Well, yeah, but then you need generalised sequences in the general case...
Nov 26, 2011 21:18
Nets?
Indeed. Or filters.
What's the deal about limits misusing the equals sign? In my experience, one is not allowed to use the \lim notation at all unless one knows that limits are unique for the topological space in question.
IIRC Engelking uses the notation \lim x for the set of all limits of the given sequence/net.
I.e. L\in\lim x_n means L is a limit of x_n.
Nov 26, 2011 21:33
Okay, that's news to me.
Meaning that if you happen to be in a space where limits are unique, you need to look at the context of the \lim to find out what its type is?
The two propositions in this answer I've copied from Enelking: math.stackexchange.com/q/80020/8297
Nets = fun.
BTW Henning I've recently found out that you're pretty active wikipedian. (I've noticed that you've edited one of the articles I have on my watchlist.)
I guess some of your edits are related to the things discussed here at MSE.
Especially when they are internals... One could even say that such net is an inter-net.
@MartinSleziak I used to be a fairly active wikipedian a handful of years ago, reloading watchlists several times a day and getting involved in editorial arguments, etc. Nowadays I just fix problems when I come across them for another reason.
Nov 26, 2011 21:38
@AsafKaragila The terminology was not Kelley's invention, though. Kelley had wanted to call such an object a way. However, nets have subnets, which Kelley would have dubbed subways. Norman Steenrod talked him out of it. After some prodding by Kelley, Steenrod suggested the term net as a substitute for way.
@MartinSleziak So \lim as a set combined with f(A) for {f(x)|x in A}. Wow -- the possibilities for obfuscation are endless.
The quote is from Megginson's book on Banach spaces.
Hah. Nice.
@HenningMakholm To me this way seems quite reasonable if someone really needs to work with the non-Hausdorff case.
I'm just shaking my head as a computer scientist. We'd be lynched if we defined a programming language with a semantics that ambiguous.
 
Conversation ended Nov 26, 2011 at 21:42.