Because every subset of is open, the Borel sigma-algebra of a discrete space is
If or and is a Borel subset of the codomain, then is some subset of , hence is Borel. Thus every such function is a Borel measurable function.
For each , the open interval
meets only in . Thus every singleton is open in the subspace topology on . Every subset is the union and is therefore open. Hence the induced topology is the discrete topology:
Assume for contradiction that is infinite-dimensional. Starting with , apply Riesz lemma recursively to the proper closed finite-dimensional subspaces
to choose unit vectors satisfying
For , the vector belongs to , and therefore
Thus lies in the closed unit ball but has no Cauchy subsequence, hence no convergent subsequence. A compact metric space is sequentially compact, contradicting compactness of the unit ball. Therefore is finite-dimensional, proving that a compact unit ball characterizes finite-dimensional normed spaces.
Let denote the sequence with a one in coordinate and zeros elsewhere.
For , one has but for every , including . Thus is unbounded for every .
For , the sequence has entries and in coordinates and , respectively. Hence , so is also unbounded for every .
For , coordinatewise division gives
for every . Thus is a bounded diagonal operator on sequence space for every .
For , write . Then , and coordinate evaluation satisfies . By the p-series criterion, exactly when , while . Therefore is bounded precisely for
For , even does not belong to .
For , let be the Holder conjugate exponent of . Holder inequality gives, for finite ,
and consequently
For ,
Thus is bounded for every . Altogether,
Given , choose a sequence with , which is possible by part (a). The bound gives
so is a Cauchy sequence. Since is a Banach space, it converges. Define
The same estimate shows that this limit does not depend on the approximating sequence. Passing to the limit proves linearity and
so . It agrees with on . If two bounded extensions existed, their difference would vanish on the dense subspace and, by continuity, on its closure . Thus the extension is unique. This is the extension of a bounded linear operator from a dense subspace.
For with , let
Then
because the defining nonnegative series converges. Thus is dense in the l-p sequence space for every finite ; this is the density of finitely supported sequences in l-p.
It is not dense in the l-infinity sequence space. For the constant sequence and any finitely supported , some tail of is zero, so
Hence does not belong to the closure of .
No. The monodromy action of a covering space for a two-sheeted covering takes values in . Its nonidentity transposition commutes with every subgroup of , so the deck transformation group as a monodromy centralizer always contains that transposition. Equivalently, every double cover has a deck involution of a double covering that exchanges the two points in each fibre. Thus a two-sheeted cover cannot have trivial deck group.
Take , the wedge of two circles, and label its oriented loops and . For a fixed , let
be permutations of the fibre . Construct a labelled graph with these vertices, an oriented -edge from to , and an oriented -edge from to . Map every vertex to the wedge point and each labelled edge homeomorphically onto its corresponding loop. Every vertex has exactly one incoming and one outgoing edge of each label, so this is an -sheeted permutation covering of a wedge of circles
It is connected because the -cycle acts transitively on the fibre.
A deck transformation induces a permutation of the vertices that commutes with both monodromy permutations and . Conversely, such a permutation determines a deck transformation, by the deck transformation group as a monodromy centralizer. The permutations and generate : the conjugates include the adjacent transpositions, which generate the symmetric group. Hence centralizes and lies in its center of a group. For , the center of is trivial, so . A deck transformation fixing one point is the identity by part (a), and therefore
Let be the covering map. The uniqueness of lifts to a covering space says that if satisfy
and at one point , then
For any , choose a path from to , using path-connectedness of . Both and lift the same path and have the same initial point. Uniqueness in the path lifting theorem makes the lifted paths equal, so their endpoints agree. Since was arbitrary, the two lifts agree everywhere.
Let and . The generator of this principal ideal has norm
Reduction modulo gives . The map below is surjective and has in its kernel; both the kernel and have index seven, the latter by the ideal norm, so they are equal. Hence it induces an isomorphism of residue fields
In particular,
In the finite field , the element has multiplicative order six, since
By part (b), every unit is for and . Since , its residue is , which equals one exactly when
The resulting units are and , and these are precisely the even and odd powers of . Therefore
which is the group of units congruent to one modulo 3 plus square root two.
The Dirichlet unit theorem states that for a number field with real embeddings and conjugate pairs of complex embeddings,
where is its finite group of roots of unity. Here is real quadratic, so and . Thus its unit group has rank one.
The element
is a unit because its field norm is
It is the smallest unit greater than one in the chosen real embedding. Indeed, write such a unit as and let be its algebraic conjugate. Since , both and are positive integers. Hence and . The rank-one logarithmic lattice in Dirichlet's theorem is therefore generated by . Consequently the units of Q of square root two are
An odd composite number with is a Fermat pseudoprime to base when
For , the Chinese remainder theorem for unit groups reduces this condition to congruences modulo and . Modulo , Fermat's little theorem gives
so exactly when . Modulo , the unit group has order , so
The equation in the cyclic group has solutions, namely .
Combining the two independent sign choices by the Chinese remainder theorem gives
and hence
The Chinese remainder theorem says that if the positive integers are pairwise coprime and , then for arbitrary residue classes there is a unique residue class satisfying
Equivalently, reduction is a ring isomorphism
For existence, put . Pairwise coprimality gives , so Bézout's identity supplies an integer with . Then
has the required residues, because every term except the th is divisible by . If and are two solutions, each divides . Pairwise coprimality then implies that their product divides , proving uniqueness modulo .
Schur lemma over states that an intertwining operator between finite-dimensional irreducible complex representations is either zero or an isomorphism. In particular, every intertwining endomorphism of is a scalar multiple of the identity.
Indeed, and are invariant subspaces. If , irreducibility gives and , so is an isomorphism. For an endomorphism , the fundamental theorem of algebra gives an eigenvalue . Then is an intertwiner with nonzero kernel, so the first part forces . Hence , completing the Proof of Schur lemma.
The actions on the ordered pair satisfy
Thus every element of has the form or for , so . Their actions are
Because are algebraically independent elements over , these eight substitutions are distinct. Hence
and the presentation identifies with the dihedral group .
Put
Both generators and fix and , so for ,
The elements and are the two roots of
so . Adjoining first and then takes at most two quadratic extensions, and the tower law gives
Part (b) gives . Since , another use of the tower law gives
All inequalities are equalities and . Therefore
the dihedral fixed field of a two-variable rational function field.

There are unlisted articles, also show them or only show them.