If , then . The strict open-ball inequality therefore excludes every such , while including . Hence . Every point other than is isolated in this metric.
Write . The prescribed function is symmetric and nonnegative. If , both could be zero only if , so . For the triangle inequality, if any two of coincide it is immediate. If all three are distinct,
Thus . Also , a fact useful in the following parts.
The map is continuous if it is continuous at every point of its domain. Equivalently the inverse image of every open subset of is open in . These equivalent formulations use the given metrics' induced topologies.
Continuity at means that for every there is such that implies for every . Equivalently, the inverse image of each neighborhood of is a neighborhood of .
A subset of a metric space is open if for every there exists with , where . The radius may depend on the point. The empty set is open vacuously.
For , , so . The latter integral diverges because its primitive is . Thus the absolute integral diverges and the answer is .
On its absolute value is at most , which has integral , by integration by parts or the substitution . The function is measurable and this majorant is integrable, so .
Integrating from one to gives for . It has a finite limit as exactly when , while at the logarithm diverges. Nonnegativity equates finiteness of this integral with Lebesgue integrability. Hence .
The function is nonnegative and measurable. For , integrate from to one to get . The limit is finite exactly when . At the integral is . Thus .
Normalize each optimal vector by its sum . Player I's row strategy and Player II's column strategy are respectively
As a direct check and , so Player II guarantees a loss of at most four and Player I guarantees a gain of at least four.
Both objectives equal : and . Weak duality bounds the value of every primal feasible point above by every dual feasible objective. Equality for this feasible pair therefore proves both are optimal, without needing to solve either problem further.
The proposed vectors are nonnegative, and direct multiplication gives
Thus and , proving primal and dual feasibility.
The dual is
For positive payoffs and an optimal solution , strong duality gives . Normalizing gives Player I's optimal row strategy . Its expected payoff against every column is at least . Thus the primal represents Player II's minimization of worst loss and the dual represents Player I's maximization of guaranteed gain.
Strictly positive entries imply . If is an optimal strategy, set . Then and . Conversely, a nonzero feasible with gives a strategy satisfying . Thus , or . The optimal objective is therefore , and
A nonzero feasible point exists by taking a sufficiently small positive multiple of a probability vector, and positivity of bounds the feasible objective, so the optimum is attained.
For general entries choose a constant so that is strictly positive. Every pair of strategies has its payoff increased by exactly , so optimal strategies are unchanged. Solve the positive problem for , recover , and then for the original game.
A mixed strategy for Player II is a probability vector with , specifying the random choice of a column. If Player I chooses row , the expected payment is . A mixture of rows cannot exceed the maximum of these row expectations, so the smallest payment Player II can guarantee is
An optimal strategy is a vector attaining that minimum, which exists by compactness of the probability simplex and continuity. The minimax theorem identifies this guaranteed loss with Player I's maximal guaranteed gain, the value of the finite zero-sum game.
No. At any cube vertex its three incident faces are pairwise adjacent along the three incident edges. They would therefore require three different colours. Equivalently the dual of the planar cube embedding contains a triangle, which obstructs a face two-colouring.
Yes. Colour an even-parity vertex one colour and an odd-parity vertex the other. Every cube edge changes parity, so this is a proper two-colouring. At least two colours are needed because edges exist.
Both are bipartite. Partition the vertices by parity of the number of one bits. A cube edge changes one bit and an interior diagonal changes three bits, so both types join opposite parity classes. In fact is : from any vertex its three cube neighbors and its opposite vertex exhaust the four vertices of opposite parity.
Both are Hamiltonian. A Hamiltonian cycle already in the cube is
Successive triples differ in exactly one bit, and each of the eight vertices occurs exactly once before returning. Adding edges preserves this cycle in a graph.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact