Question

In: Advanced Math

Let X be a set with infinite cardinality. Define Tx = {U ⊆ X : U...

Let X be a set with infinite cardinality. Define Tx = {U ⊆ X : U = Ø or X \ U is finite}. Prove that Tx is a topology on X. (Tx is called the Cofinite Topology or Finite Complement Topology.)

Solutions

Expert Solution

be a set with infinite cardinality .

or \ is finite} .

Defination : A collection of subsets of is said to form a tpology on if it satisfies the following three conditions .

If be an finite collection  then

If   be an infinite collection then

Now we will prove that the collection or \ } is finite forms a topology on .

by defination of .

Also as \ is a finite set .

Suppose be a finite collection of elements of .

are all finite set .

is a finite set as finite union of finite set is finite.

is a finite set .

suppose   be an infinite collection of elements of .

are all finite set .

is a finite set as arbitrary intersection of finite set is finite .

is a finite set .

So satisfies all three conditions to be a topology on Hence the collection or \ is finite } is a topology on  


Related Solutions

Let (G,·) be a finite group, and let S be a set with the same cardinality...
Let (G,·) be a finite group, and let S be a set with the same cardinality as G. Then there is a bijection μ:S→G . We can give a group structure to S by defining a binary operation *on S, as follows. For x,y∈ S, define x*y=z where z∈S such that μ(z) = g_{1}·g_{2}, where μ(x)=g_{1} and μ(y)=g_{2}. First prove that (S,*) is a group. Then, what can you say about the bijection μ?
Let A be an infinite set and let B ⊆ A be a subset. Prove: (a)...
Let A be an infinite set and let B ⊆ A be a subset. Prove: (a) Assume A has a denumerable subset, show that A is equivalent to a proper subset of A. (b) Show that if A is denumerable and B is infinite then B is equivalent to A.
Cardinality State whether the following sets are finite, countable infinite or uncountable. Set of positive perfect...
Cardinality State whether the following sets are finite, countable infinite or uncountable. Set of positive perfect squares. Is it finite, countable infinite or uncountable? If it is countably infinite, set up the bijection between ℤ+. Negative numbers greater than or equal to -5. Is it finite, countable infinite or uncountable? If it is countably infinite, set up the bijection between ℤ+. Odd positive integers. Is it finite, countable infinite or uncountable? If it is countably infinite, set up the bijection...
Considering the set X = {1,2,3,4,5,6,7,8}, calculate a Tx topology on X such that the following...
Considering the set X = {1,2,3,4,5,6,7,8}, calculate a Tx topology on X such that the following two conditions are met: Tx has exactly 8 different elements, that is, | Tx | = | X | = 8 It is possible to find a subspace S of X with three elements, such that the relative topology Ts in S (with respect to Tx) has exactly 8 different elements, that is, | Ts | = | Tx | = | X |...
Let A ⊆ C be infinite and denote by A' the set of all the limit...
Let A ⊆ C be infinite and denote by A' the set of all the limit points of A. Prove that if z ∈ A' then there is a non-trivial sequence of elements in A that converges to z
Consider a semi-infinite square well: U(x)=0 for 0 ≤ x ≤ L, U(x)=U0 for x >...
Consider a semi-infinite square well: U(x)=0 for 0 ≤ x ≤ L, U(x)=U0 for x > L, and U(x) is infinity otherwise. Determine the wavefunction for E < Uo , as far as possible, and obtain the transcendental equation for the allowable energies E. Find the necessary condition(s) on E for the solution to exist.
For sets A and B we may define the set difference measure as |A_B| (the cardinality...
For sets A and B we may define the set difference measure as |A_B| (the cardinality of the set A-B), explain why this is never negative. We know this is not a distance, explain why and modify it so that it is a distance. Prove your claim (in particular be careful to show the triangle inequality holds)
Let U and V be vector spaces, and let L(V,U) be the set of all linear...
Let U and V be vector spaces, and let L(V,U) be the set of all linear transformations from V to U. Let T_1 and T_2 be in L(V,U),v be in V, and x a real number. Define vector addition in L(V,U) by (T_1+T_2)(v)=T_1(v)+T_2(v) , and define scalar multiplication of linear maps as (xT)(v)=xT(v). Show that under these operations, L(V,U) is a vector space.
Let x be a set and let R be a relation on x such x is...
Let x be a set and let R be a relation on x such x is simultaneously reflexive, symmetric, and antisymmetric. Prove equivalence relation.
Find the energy spectrum of a particle in the infinite square well, with potential U(x) →...
Find the energy spectrum of a particle in the infinite square well, with potential U(x) → ∞ for |x| > L and U(x) = αδ(x) for |x| < L. Demonstrate that in the limit α ≫ hbar^2/mL, the low energy part of the spectrum consists of a set of closely-positioned pairs of energy levels for α > 0. What is the structure of energy spectrum for α < 0?
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT