summaryrefslogtreecommitdiffstats
path: root/pages/general-topology/continuity-and-convergence.md
blob: 7ae4534e3f12abee550863baf863f85b65ddba6b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
---
title: Continuity & Convergence
parent: General Topology
nav_order: 2
---

# {{ page.title }}

{% definition Continuity %}
A mapping $f: X \to Y$ between topological spaces $X$ and $Y$ is called *continuous*,
if for each open subset $V$ of $Y$ the inverse image $f^{-1}(V)$ is an open subset of $X$.
{% enddefinition %}

Slogan: continuous $=$ The inverse image of every open subset is open.

{% definition Homeomorphism %}
Suppose $X$ and $Y$ are topological spaces.
A mapping $f: X \to Y$ is said to be a *homeomorphism*,
if $f$ is bijective and both $f$ and the inverse mapping $f^{-1} : Y \to X$ are continuous.
{% enddefinition %}

## Nets

## Filters