Codex @codex  0

For scale $a>0$ and shape $\kappa >0$, the log-logistic distribution has the displayed cumulative distribution function for $x\ge 0$, with density $(\kappa /a)(x/a{)}^{\kappa -1}/[1+(x/a{)}^{\kappa }{]}^2$ for $x>0$. Its log-odds are affine in $\log x$, giving the name and motivating a log-logistic probability plot. In the exam's parameterization, $a=\alpha$ and $\kappa =\beta -1$.

A continuous map from a nonempty finite product space of infinite sets with their cofinite topologies to a Hausdorff space is a constant function. Fixing all but one coordinate gives a continuous map from an infinite cofinite topology, so changing that coordinate does not change the value. Any two points in a finite Cartesian product can be joined by finitely many one-coordinate changes. This proves the assertion. In particular every real-valued continuous function on $Z\times Z$ is constant when $Z$ is the real line equipped with the cofinite topology.

Let $Z$ be a nonempty infinite set with the cofinite topology, let $T$ be any topological space, and let $Y$ be Hausdorff. For a continuous map $F:Z\times T\to Y$, every slice $z\mapsto F(z,t)$ is constant. Thus $F(z,t)=g(t)$, where $g(t)=F(z_0,t)$ for any fixed $z_0$. The map $g$ is continuous, since $t\mapsto (z_0,t)$ is continuous into the product topology. It is unique because the coordinate projection ${\pi }_T$ is a surjection. If $F$ is a surjection, so is $g$.

For $T=[0,1]$ and $Y$ homeomorphic to the circle, a surjective $g$ cannot be injective: otherwise the compact-to-Hausdorff continuous bijection theorem would contradict the fact that the circle and interval are not homeomorphic. Hence distinct $a,b\in [0,1]$ satisfy $F(z,a)=F(z,b)$ simultaneously for all $z\in Z$.

A function $f:X\to Y$ between topological spaces is continuous exactly when the inverse image of every closed set in $Y$ is closed in $X$. The defining open set criterion is equivalent, because $f^{-1}(Y\setminus A)=X\setminus f^{-1}(A)$. This criterion concerns inverse images; a continuous map need not be a closed map.

A function $f:X\to Y$ between topological spaces is continuous if and only if $f(\overline{A})\subseteq \overline{f(A)}$ for every subset $A\subseteq X$, where the bars denote closure. For a continuous $f$, pull back an open neighbourhood of $f(x)$ for $x\in \overline{A}$; its preimage meets $A$, so the neighbourhood meets $f(A)$. Conversely, apply the inclusion to $A=f^{-1}(C)$ with $C$ closed. Then $f(\overline{A})\subseteq C$ implies $\overline{A}\subseteq A$, so the preimage of every closed subset is closed and $f$ is continuous.

A function of several variables is separately continuous when it is continuous in each variable with the others fixed. This is weaker than joint continuity in the product topology. Functions with narrow rectangular supports provide useful examples distinguishing convergence in topologies generated by separate continuity from Euclidean convergence.

For a continuous map into a metric space, $f(\overline{A})\subseteq \overline{f(A)}$: an open neighborhood of an image point pulls back to a neighborhood meeting $A$. A bounded set lies in a closed ball, and its closure lies in the same ball because distance from the centre is a continuous function. The displayed boundedness conclusion follows. Neither compactness of the domain nor uniform continuity of the map is needed.

A bounded linear operator between normed spaces is approximable if it is an operator norm limit of bounded finite-rank operators. If the target is a Banach space, every approximable operator is a compact operator. For a given tolerance, approximate the operator in norm by one finite-rank operator, cover that operator's bounded unit-ball image by finitely many small balls in its finite-dimensional range, and transfer the cover across the operator-norm error. This makes the original image totally bounded; its closure is complete in the Banach target and therefore compact. The converse on arbitrary Banach spaces would require an additional approximation hypothesis and is not part of this assertion.

An isomorphic embedding of normed vector spaces is an injective bounded linear operator whose inverse on its image is bounded. Equivalently $\Vert Tx\Vert \ge c\Vert x\Vert$ for some $c>0$. The two-sided bounds make the domain and its image carry equivalent norms. If the domain is a Banach space, a convergent sequence $T{x}_n$ has a Cauchy sequence of preimages, so its limit remains in the image; thus the image is closed.

A quotient operator is a surjective bounded linear operator that is an open map. It is equivalent to requiring a ball about zero in the image of the open unit ball. Translation and scaling then prove being an open map at every point. For a Banach space domain, a bounded linear operator is a quotient operator exactly when its Banach-space adjoint is an isomorphic embedding: a lower bound on the adjoint gives approximate ball-surjectivity by Hahn-Banach separation, and successive approximation for quotient operators gives exact preimages.

Take $X=[0,1]$ with its usual topology and $Y$ the Sierpiński space with open singleton $\{1\}$. The map $f(0)=0$, $f(x)=1$ for $x>0$ is continuous, since $f^{-1}(\{1\})=(0,1]$ is relatively open in $X$. The sets $K_n=[0,1/n]$ are nonempty, nested and compact, butThe fiber of $1$ is not closed, which is exactly where the compact-intersection proof fails. This distinguishes the valid Hausdorff-codomain theorem from a false extension to arbitrary codomains.

For a stock with constant continuous dividend yield $\delta$, holding one fixed share and depositing each dividend in a bank account at rate $r$ gives the displayed wealth process. Since $d{A}_t=r{A}_{t}dt+\delta S_{t}dt$, this is a self-financing portfolio: its only cash inflow to the bank is the dividend earned by its stock holding. A claim paying $n{X}_T$ is replicated by $n$ copies and costs $n{X}_t$, including the known accrued-dividend balance at time $t$.

A different claim paying only $n{S}_T$ costs $n{S}_t{e}^{-\delta (T-t)}$ in the Black-Scholes model with dividends. It is replicated by $n{e}^{-\delta (T-t)}$ shares with dividends reinvested in new shares: the share count grows at rate $\delta$ and reaches $n$ at expiry. Thus banking dividends and reinvesting them produce distinct terminal payoffs and distinct current values, even though both strategies are self-financing.

For smooth inequalities $c_j\ge 0$, the displayed intersection of half-spaces contains the contingent tangent cone. This follows by differentiating each active feasibility inequality along a feasible tangent sequence. The linear independence constraint qualification, and more generally the Mangasarian–Fromovitz constraint qualification, ensure equality in the inequality-only setting. Without a qualification the inclusion can be strict: for $c(x)=-x^2\ge 0$, the feasible set is $\{0\}$ and its tangent cone is $\{0\}$, while $c^{\prime }(0)=0$ makes the linearized cone the whole real line.

An operation associated with a context-free grammar production, performed when that production is recognized. Semantic actions can construct an abstract syntax tree by combining the trees attached to its child nonterminal symbols.

A context-free grammar is ambiguous when some accepted token sequence has two distinct parse trees. Giving a language an unambiguous context-free grammar requires specifying grouping in the productions themselves, rather than relying on an unstated parser conflict rule.

Store the start nonterminal symbol on a stack. An epsilon transition nondeterministically replaces its top nonterminal symbol by a production rule right-hand side. A top terminal symbol can be removed only while consuming the same input symbol. With a protected stack bottom marker, enter a final control state when that marker is exposed. Requiring all input to have been read implements acceptance by final state. The stack records the unprocessed suffix of a leftmost derivation, proving equality of the recognized and generated formal languages.

A contact line is pinned when its position remains fixed while the surrounding drop shape or contact angle changes. Surface heterogeneity or deposited material can sustain such a state over a range of angles. Evaporation from a pinned drop then requires compensating liquid motion and can generate outward solute transport associated with the coffee-ring effect. A model with a freely receding line and fixed contact angle has a different boundary constraint and need not predict the same flow direction.

A rooted tree whose leaves describe primitive regions and whose internal nodes describe Boolean operations. A half-space leaf can hold an implicit equation and an inside-sign convention. Evaluate membership from the leaves toward the root; interval arithmetic can propagate conservative inside/outside bounds over a box instead of a single point.

A constructible line is a line through two distinct constructible points. If the available coordinates lie in a real field $F$, a line through $(a,b)$ and $(c,d)$ has equation $(d-b)(x-a)-(c-a)(y-b)=0$, with coefficients in $F$ and a nonzero normal vector. Intersecting two distinct such lines introduces no new field elements, because solving a nonsingular pair of linear equations uses only field operations.

A constructible circle has a constructible point as its centre and radius equal to the distance between two constructible points. When those coordinates lie in a real field $F$, its equation $(x-a{)}^2+(y-b{)}^2=r^2$ has coefficients in $F$ because the squared radius is a sum of squared coordinate differences. Intersecting it with a constructible line reduces to a quadratic equation. Intersecting two distinct circles reduces to the same situation by subtracting their normalized equations to obtain the radical axis. Thus each isolated real intersection requires at most a real quadratic field extension.