The Uniform boundedness principle states that a pointwise bounded family of bounded linear maps from a Banach space to a normed space is uniformly bounded in operator norm. Define closed sets . Pointwise boundedness makes their union . The Baire category theorem gives a ball for some . For , both and lie in , so for every . Scaling yields , proving the principle.
For the separately continuous bilinear map, consider with . Each is bounded and linear. For fixed , continuity of the other linear map gives . Apply the Uniform boundedness principle to this family to get
Bilinearity then gives ; the bound proves joint continuity.
For the trilinear map, fix . The just-proved bilinear result bounds . Thus the bounded linear maps , for , are pointwise bounded. Apply the Uniform boundedness principle once more to obtain . Expansion of the difference in three slots proves joint continuity. Separate continuity suffices for these multilinear maps.
Without linearity it does not suffice. On set away from the origin and . Each coordinate section is continuous, but for , so is not continuous at the origin.
Suppose an odd continuous map existed. Restrict to the equator, parametrized by . Choose a continuous real lift with . Oddness gives for a fixed integer , since the integer-valued difference is continuous. Thus , and the equatorial map has odd degree of a continuous mapping, hence nonzero degree. But it extends over a hemisphere, which is a disk, so the equatorial loop is null-homotopic and has degree zero. This contradiction proves the dimension-two Borsuk-Ulam theorem in the stated form.
If a continuous injection existed, then would never vanish. Normalization would define
a continuous odd map, already ruled out. In particular the sphere cannot be homeomorphic to any planar subset.
For an integral binary quadratic form with and , the reduced positive definite binary quadratic form convention is , with on either boundary or . Since , the enumeration of reduced binary quadratic forms for has . The integer is odd. For , only is retained and ; for , both give . Thus the complete list is
A proper representation of a prime uses a primitive representing vector. Completing that vector to a matrix in transforms a representing form to , so its discriminant of a binary quadratic form gives . Conversely, choose an odd satisfying this congruence and put . This is integral, and is positive definite and represents at . This proves the discriminant criterion for prime representation by a binary quadratic form here.
For , quadratic reciprocity gives . Including the ramified prime, the answer is therefore
For example supplies a proper representation of . Reduction transfers every such representation to one of the three displayed forms.
There are seven irreducible characters, one for each conjugacy class. Besides the trivial character and the four supplied rows, let the remaining degrees be . The sum of squared degrees gives , whose positive integer solutions are . Complex conjugation permutes irreducible characters while preserving degree; the known rows are real and each unknown degree occurs just once among the remaining characters, so the two missing characters are real.
Call their entries , with degrees five and nine. Orthogonality with the regular character gives for . Column norms give . These equations yield two possible rational pairs in some columns. For this integral character reconstruction from column orthogonality, a further constraint is essential: character values are algebraic integers, so rational candidates must be integers. For example at , and allow and ; the second pair is not integral. The integral choices complete the table:
Every nontrivial row has for . In a unitary realization, exactly when all eigenvalues of the representing matrix are one, so each nontrivial irreducible representation is faithful. If a nontrivial proper normal subgroup existed, a nontrivial irreducible representation of the nontrivial quotient would pull back to a nontrivial representation with that subgroup in its kernel. This contradicts faithfulness. The group is simple.
Here graphs are finite and simple. To prove Dirac theorem, take a longest path . All neighbours of either endpoint lie on the path. Among indices , let and . Since , some lies in both. Following the path forward to , jumping to , and following it backwards to closes a cycle containing every vertex of the path. The degree condition makes the graph connected: two components would each have at least vertices. If , connectedness gives an edge from an outside vertex to the cycle, and breaking the cycle there makes a longer path. This contradiction proves a Hamiltonian cycle.
For even , the complete bipartite graph has minimum degree and no Hamiltonian cycle. For odd , has minimum degree and likewise fails: a bipartite cycle uses equal numbers from its two parts. These examples include the smallest applicable .
Adding one universal vertex gives vertices and minimum degree at least when the original minimum degree is at least . Apply the proved theorem and remove the universal vertex from its cycle. The remaining sequence is a Hamiltonian path in the original graph.
A necessary condition for a Hamiltonian cycle is that deleting a nonempty vertex set leaves at most components, since deleting those vertices breaks a spanning cycle into at most that many path pieces. For any , take the connected star . In , deleting its center and the new vertices leaves components, more than . Even two-connectivity does not suffice: take , which is two-connected. Deleting its two-vertex part and the new vertices from leaves components, more than . Both connectivity requirements admit counterexamples for every .
Put . From Hamilton's equations,
For the stated time-independent vector potential, differentiating gives , or
Use the Poisson bracket convention . Then direct differentiation gives
For with , the Hamiltonian is independent of , so . The radial force in the horizontal plane is . For circular motion the radial acceleration is , and is the mechanical radial momentum because the horizontal vector potential vanishes. Thus
A circular orbit at that radius is possible when the right side is nonnegative; positive values give either sense of horizontal rotation, and the longitudinal velocity is the constant along that orbit.
In the Rabin cryptosystem, choose distinct large odd primes , publish , and encrypt as . Usually , so a square root modulo each prime is obtained by exponentiating to or . Combine the two independent choices of signs by the Chinese remainder theorem to obtain the four roots modulo for a message coprime to . Redundancy or a specified encoding distinguishes the intended message. Factoring makes decryption easy; a general square-root oracle conversely factors by obtaining two roots not congruent up to sign and taking their greatest common divisor with .
For the Repeated-message attack on the Rabin cryptosystem, first compute . If , use the two ciphertexts to reconstruct with and . Since , we have , so this reconstruction is the ordinary integer . Therefore
If distinct semiprime moduli have , they share a prime; the gcd instead exposes their factors, allowing ordinary Rabin decryption with the usual encoding check. The two cases cover the stated protocol with distinct standard moduli.
In the coprime case, learning this message does not normally reveal the factors or a decryption key, so other messages encrypted only once remain protected by the square-root problem. Exceptional messages with do reveal a factor, and the shared-prime-modulus case compromises other messages too. Repetition under fresh coprime moduli is the vulnerability used here, rather than a universal attack on every ciphertext.

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