[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y ] [Search | Free Show | Home]

Topology

This is a blue board which means that it's for everybody (Safe For Work content only). If you see any adult content, please report it.

Thread replies: 15
Thread images: 2

File: Mobius Strip.jpg (88KB, 1328x824px) Image search: [Google]
Mobius Strip.jpg
88KB, 1328x824px
Why does the generalization of topology in metric spaces to topological spaces make sense?

For example, it seems like continuity loses its meaning in arbitrary topological spaces that aren't homeomorphic to metric topologies.

(I'm just a notice and haven't taken courses in real analysis nor topology, but I've read some things about them. Please be gentle.)
>>
>>8457774
>notice
novice
>>
without a metric, continuity becomes a formal property that depends on the topology and just keeps track of open-closed data

but you should think of metric spaces as special cases of topological spaces not the other way around
>>
File: Capture.png (839KB, 1412x759px) Image search: [Google]
Capture.png
839KB, 1412x759px
Watch this meme lecture https://www.youtube.com/watch?v=7G4SqIboeig

Continuity <-> preimage of open sets are open
>>
>>8457812
pretty pointless to put an <-> there when its the definition
>>
>>8457816
:= <-> <->
>>
>>8457774

You can prove that in a metric space: epsilon-delta continuity <---> preimage of open is open

Now the epsilon-delta definition does not generalize to arbitrary topologies, but the preimage of open is open definition does.
>>
>>8457816
thata not the pointwise definition tho, nigger :)
>>
>>8457849
>the pointwise definition
which one is that? you mean the sequential one which is just equivalent?
>>
>>8457816
No it's not pointless. I always do it too instead of "Def" or similar sheit.
>>
>>8457851
nope
>which is just equivalent
ha, so the <=> isn't that pointless then, right?
>>
>>8457853
imo if you say continuity <-> preimage of open sets are open it makes it seem like continuity is defined as something other than that

>>8457857
what? your post seems confused. what is the pointwise definition you're talking about?
>>
>>8457774
>Why does the generalization of topology in metric spaces to topological spaces make sense?
It makes sense because the definition of a topological space takes results from a metric spaces as a definition.
In particular, the finite intersection of open sets is open, the arbitrary union of opens sets is open, and that the whole set and the empty set are (cl)open.
In fact, elements of the topology are called open sets.

What do you know about topology so far? It'd be easier to motivate it based on your answer.

Also you don't need to know analysis to study topology, but you will need it later down the line if you study metric spaces (which should come before topology).
>>
>>8457816
All definitions are iff anyway, so it doesn't matter.
>>
>>8457812
>1 hour 17 minutes and 5 seconds
The lecture is way too slow and a waste of time.
Thread posts: 15
Thread images: 2


[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y] [Search | Top | Home]

I'm aware that Imgur.com will stop allowing adult images since 15th of May. I'm taking actions to backup as much data as possible.
Read more on this topic here - https://archived.moe/talk/thread/1694/


If you need a post removed click on it's [Report] button and follow the instruction.
DMCA Content Takedown via dmca.com
All images are hosted on imgur.com.
If you like this website please support us by donating with Bitcoins at 16mKtbZiwW52BLkibtCr8jUg2KVUMTxVQ5
All trademarks and copyrights on this page are owned by their respective parties.
Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.
This is a 4chan archive - all of the content originated from that site.
This means that RandomArchive shows their content, archived.
If you need information for a Poster - contact them.