Difference between topology and sigma-algebra axioms.

One distinct difference between axioms of topology and sigma algebra is the asymmetry between union and intersection; meaning topology is closed under finite intersections sigma-algebra closed under countable union. It is very clear mathematically but is there a way to think; so that we can define a geometric difference? In other words I want to have an intuitive idea in application of this objects.

Solution 1:

I would like to mention that in An Epsilon of Room, remark 1.1.3, Tao states:

The notion of a measurable space (X, S) (and of a measurable function) is superficially similar to that of a topological space (X, F) (and of a continuous function); the topology F contains ∅ and X just as the σ-algebra S does, but is now closed under arbitrary unions and finite intersections, rather than countable unions, countable intersections, and complements. The two categories are linked to each other by the Borel algebra construction.

Later, in example 1.1.5:

given any collection F of sets on X we can define the σ-algebra B [ F ] generated by F , defined to be the intersection of all the σ-algebras containing F , or equivalently the coarsest algebra for which all sets in F are measurable. (This intersection is non-vacuous, since it will always involve the discrete σ-algebra 2^X). In particular, the open sets F of a topological space ( X, F ) generate a σ-algebra, known as the Borel σ-algebra of that space.

Solution 2:

Your question is a little vague, but here is something to consider: Topology is normally discussed as its own subject while $\sigma$-algebras are typically just used as a tool in measure theory. One reason why finite intersections are needed in a topology is that it preserves what we think of as "openness" in a metric space. For instance, the finite intersection of any intervals of the form $(a,b) \subseteq \mathbb{R}$ still has the property of containing a ball around each point. This property is not shared with $\sigma$-algebras. For instance we can consider the countable intersection

$$ \bigcap_{n \in \mathbb{N}} \left(a - \frac{1}{n}, b+ \frac{1}{n} \right ) \;\; =\;\; [a,b] $$

which doesn't preserve this "openness" property we would like a topology to preserve. We can see that every neighborhood around either points $a$ or $b$ contain elements outside the interval $[a,b]$.

Solution 3:

An easy way to get a feeling for this is to consider basic examples.

For example, let $X=\{1, 2, 3\}$.

A topological space $(X, 𝓸)$ could be for constructed by choosing for example $𝓸=\{∅,\{1, 2\},\{2\},\{2,3\},X\}$.

But this is as far from a $σ$-algebra as you can get since in fact no complement of any set in $𝓸$ is in 𝓸 except for $X$ and $∅$.

Have a look at some examples of topologies, some examples of $σ$-algebras and try to compare them. Start easy (like this) and move on to some harder ones and you will develop an intuition after hand.