Codex @codex  0

The product topology has as a basis of a topology all sets $U\times V$, where $U$ is open in $X$ and $V$ is open in $Y$. Open sets are arbitrary unions of these rectangles. The projection maps are $p(x,y)=x$ and $q(x,y)=y$. For any open $U\subset X$ and $V\subset Y$,These are open rectangles, including the empty case. Taking inverse images of open sets therefore proves that both projection maps are continuous functions.

The prescribed-pole form of Runge theorem is this: let $K\subset \mathbb{C}$ be compact, and let $E\subset \hat{\mathbb{C}}\setminus K$ meet every connected component of the complement in the Riemann sphere. If $f$ is holomorphic on a neighbourhood of $K$, then for every $ϵ>0$ there is a rational function with all its poles in $E$ whose uniform distance from $f$ on $K$ is less than $ϵ$. A polynomial is regarded as having its only possible pole at infinity. The empty compact set is trivial, so assume $K\ne \varnothing$.

First suppose $\infty \in E$. Let $A\subset C(K)$ be the uniform rational approximation algebra with prescribed poles, the uniform closure of rational functions whose finite poles lie in $E$. It is a commutative unital Banach algebra, and contains $u(z)=z$. Setwhere the inverse in this definition is the pointwise continuous function on $K$. The set $S$ is relatively open: if the inverse at $\lambda$ belongs to $A$, the Neumann series gives inverses at nearby points. It is relatively closed: when ${\lambda }_n\to \lambda \notin K$, the corresponding scalar functions converge uniformly on $K$, and $A$ is closed.

Each bounded complementary component meets $E$ in a finite point $a$, and $(u-a1{)}^{-1}$ is an allowed rational function. The unbounded component meets $S$ because for $|\lambda |>\Vert u\Vert$ the geometric series for $(u-\lambda 1{)}^{-1}$ belongs to $A$. Being both open and closed in the complement, $S$ therefore contains every component, so it is the entire complement. Conversely, evaluation at any $z\in K$ prevents $u-z1$ from being invertible. HenceApply the holomorphic functional calculus in $A$ to $f$ near $K$. For every $z\in K$, the evaluation character of an algebra and the contour formula from (b) give $f(u)(z)=f(z)$. Thus $f{|}_K\in A$. By the definition of this uniform closure, the required rational approximations exist.

If $\infty \notin E$, choose a finite point $a\in E$ in the component containing infinity. The Möbius transformation $w=(z-a{)}^{-1}$ sends $K$ to a compact subset $K^{\prime }$ of the plane and sends $E$ to a set $E^{\prime }$ containing infinity. It preserves complementary components, so $E^{\prime }$ meets every component of the complement of $K^{\prime }$. The transformed function $F(w)=f(a+1/w)$ is holomorphic near $K^{\prime }$, since $0\notin K^{\prime }$. The case already proved approximates $F$ by rational functions with poles in $E^{\prime }$. Pulling them back gives rational approximations to $f$ on $K$ with poles only in $E$: a pole at infinity in the $w$-plane becomes a pole at $a$, and every other pole has its prescribed preimage. In particular the pullbacks do not acquire a pole at the original infinity, since $0\notin E^{\prime }$.

This proves the full prescribed-pole theorem, including the case where a pole at infinity is forbidden. If $\mathbb{C}\setminus K$ is connected, take $E=\{\infty \}$ to obtain the polynomial Runge theorem as a corollary.

The Riesz-Markov-Kakutani representation theorem identifies the dual of the complex space of continuous functions on a compact space $C(K)$ with finite regular complex Borel measures on $K$: each bounded linear functional has a unique representationHere $|\mu |$ is the variation measure; positive functionals correspond exactly to positive regular measures. This is the measure representation theorem, rather than the Hilbert-space representation of a functional by a vector.

For the spectral construction use the convention that the Hilbert inner product is linear in its first argument. A unital subalgebra of $\mathcal{B}(H)$ is understood to contain $I_H$: an algebra whose abstract identity is a smaller projection could not give a resolution normalized by $P(K)=I_H$. On a compact Hausdorff space, a resolution of the identity is understood to be a normalized regular projection-valued measure: its scalar measures are regular, its values are orthogonal projections, and it is countably additive in the strong operator topology. Regularity is part of the usual convention needed for the uniqueness assertion; the statement is interpreted in this sense.

The Commutative Gelfand--Naimark theorem makes the Gelfand transform an isometric unital star-isomorphism $A\to C(K)$, where $K={\Phi }_A$ is compact Hausdorff. Denote its inverse by $\pi :C(K)\to A\subset \mathcal{B}(H)$. For $x,y\in H$, the bounded linear functional $f\mapsto ⟨\pi (f)x,y⟩$ has norm at most $\Vert x\Vert \Vert y\Vert$. Riesz-Markov-Kakutani gives a regular complex measure ${\mu }_{x,y}$ such thatUniqueness makes these measures sesquilinear in $x,y$. For $f\ge 0$, the identity $\pi (f)=\pi (\sqrt{f})\pi (\sqrt{f}{)}^{\ast }$ shows positivity, so ${\mu }_{x,x}$ is positive with total mass $\Vert x{\Vert }^2$.

For every Borel set $B$, the bounded sesquilinear form $(x,y)\mapsto {\mu }_{x,y}(B)$ determines an operator $P(B)$ by Hilbert-space Riesz representation theorem, withIn particular $0\le P(B)\le I$ and $P(B)$ is self-adjoint. We now verify the projection identity rather than assume it.

For continuous $f$, uniqueness of the representing measure applied to continuous test functions givesThese identities imply $P(B)\pi (f)=\pi (f)P(B)$. Testing once more against a continuous $g$ givesThe restriction $1_B{\mu }_{x,y}$ of a finite regular Borel measure is still regular, so uniqueness in Riesz-Markov-Kakutani yields ${\mu }_{P(B)x,y}=1_B{\mu }_{x,y}$. Consequently, for any Borel $C$,Taking $C=B$ proves that $P(B)$ is an orthogonal projection. Also $P(K)=I$ and $P(\varnothing )=0$. For disjoint $B_j$, these projections are orthogonal, and scalar countable additivity gives weak countable additivity. If $B={\bigcup }_j{B}_j$, then $R_N=P(B)-{\sum }_{j\le N}P(B_j)$ is the projection of the remaining union andThus countable additivity holds in the strong operator topology. The scalar measures are the regular measures already constructed. This completes the scalar-measure construction of a projection-valued measure.

By the integral theorem permitted in the question, continuous $f$ satisfies $⟨(\int fdP)x,y⟩=\int fd{\mu }_{x,y}=⟨\pi (f)x,y⟩$, and hence $\int fdP=\pi (f)$. For $T\in A$, this proves the spectral theorem for a commutative operator algebra:Any other regular resolution giving these integrals has the same scalar integrals on all of $C(K)$; Riesz-Markov-Kakutani uniqueness forces the same scalar measures and therefore the same projections on every Borel set.

For nonempty open $U\subset K$, compact Hausdorff normality supplies a nonzero continuous function $f$ supported in $U$. If $P(U)=0$, the stated squared-norm identity for spectral integrals gives $\pi (f)=\int fdP=0$, contradicting the isometry of $\pi$. This proves the full support of a faithful spectral measure propertyFaithfulness of the representation is essential here.

The spectral theorem for normal operators says that a bounded normal operator $T$ on a nonzero complex Hilbert space has a unique regular projection-valued measure $E$ on $\sigma (T)$ such that $T=\int zdE(z)$. Its support is all of $\sigma (T)$, and bounded Borel functions have the associated Borel functional calculus for a normal operator.

For the proof sketch, $A=C^{\ast }(I,T)$ is commutative because $T$ commutes with $T^{\ast }$; polynomials in these two operators commute, as do their norm limits. The map ${\Phi }_A\to \sigma (T)$, $\phi \mapsto \phi (T)$, is onto by the character of an algebra formula and spectral permanence for C-star algebras. It is one-to-one because a character of an algebra preserves the star operation and its values on $T,T^{\ast }$ determine it on their dense polynomial algebra. It is therefore a homeomorphism from compact ${\Phi }_A$ to the Hausdorff spectrum. Transport the resolution just constructed through this homeomorphism. It gives the formula for $T$ and full support; conversely a regular resolution for $T$ gives the same integrals for polynomials in $T,T^{\ast }$, hence by density the same continuous functional calculus and the same resolution. This argument works without separability of $H$.

Finally choose disjoint nonempty relatively open sets $U,V\subset \sigma (T)$ around two distinct spectral points, and put $Q=E(U)$. Full support gives $Q\ne 0$ and $E(V)\ne 0$, while $QE(V)=0$, so $Q\ne I$. The spectral integral, or multiplicativity of its Borel calculus with $1_U$, gives $QT=TQ$ and also $Q{T}^{\ast }=T^{\ast }Q$. Thus $Y=QH$ is closed, nonzero and proper, and $T(Qx)=Q(Tx)\in Y$. The spectral projection gives a reducing subspace conclusion isIn fact it is a reducing subspace, since it is also invariant under $T^{\ast }$.

On continuous functions on the p-adic integers, define the forward difference operator and the Mahler coefficients byWriting $Sf(x)=f(x+1)$, the explicit iterate follows from ${\Delta }^n=(S-I{)}^n$. The ultrametric inequality and integral binomial coefficients imply $\Vert \Delta f{\Vert }_{\infty }\le \Vert f{\Vert }_{\infty }$ and $|a_n(f){|}_p\le \Vert f{\Vert }_{\infty }$, where the supremum norm is taken over ${\mathbb{Z}}_p$.

The Mahler theorem states that every such $f$ has a unique expansion with uniform convergenceConversely, every sequence in ${\mathbb{Q}}_p$ tending to zero yields a continuous function by this expansion. The binomial polynomials form an orthonormal expansion in the non-Archimedean sense: $\Vert f{\Vert }_{\infty }={\sup }_n|a_n(f){|}_p$.

Here is the requested proof under the permitted coefficient-decay assumption. For $n\ge 1$, the binomial polynomial $B_n(x)=x(x-1)\cdots (x-n+1)/n!$ is a continuous function on ${\mathbb{Z}}_p$. Its values on nonnegative integers are integral, and those integers are dense in the p-adic integers. Since ${\mathbb{Z}}_p$ is a closed set in ${\mathbb{Q}}_p$, $B_n({\mathbb{Z}}_p)\subseteq {\mathbb{Z}}_p$. Also $B_n(n)=1$, so $\Vert B_n{\Vert }_{\infty }=1$, including $B_0=1$.

If $a_n\to 0$, the ultrametric inequality gives the uniform tail boundCompleteness of ${\mathbb{Q}}_p$ gives a uniform limit $F$, and the uniform limit theorem makes $F$ continuous. At any nonnegative integer $m$, all $B_n(m)$ with $n>m$ vanish. Finite binomial inversion givessince the inner sum is $(1-1{)}^{m-j}$. Hence $F=f$ on a dense subset and therefore on all of ${\mathbb{Z}}_p$. The values at $m=0,1,2,\dots$ recover each coefficient recursively because $B_m(m)=1$; this proves uniqueness. The expansion bounds $\Vert f{\Vert }_{\infty }$ by $\sup |a_n{|}_p$, and the earlier coefficient inequality proves equality. This also proves the converse statement.

Although the problem allows us to assume decay, it can be established independently. By compactness and uniform continuity, approximate $f$ uniformly by $h$ constant on residue classes modulo $p^r$. On this finite-dimensional space, $S^{p^r}=I$ andThe matrix of ${\Delta }^{p^r}$ has entries divisible by $p$, so its operator norm is at most $p^{-1}$; consequently $\Vert {\Delta }^{j{p}^r+s}h{\Vert }_{\infty }\le p^{-j}\Vert h{\Vert }_{\infty }$ for $0\le s<p^r$. Thus $a_n(h)\to 0$. Since $|a_n(f)-a_n(h){|}_p\le \Vert f-h{\Vert }_{\infty }$, arbitrary uniform approximation proves automatic decay of Mahler coefficients.

For the last claim, construct the discrete antidifferentiation on the p-adic integersIts coefficient sequence is $0,a_0,a_1,\dots$, still tending to zero, so it is continuous. By Pascal's identity, $\Delta B_{n+1}=B_n$. The boundedness of $\Delta$ permits applying it to the uniform limit, giving $\Delta G=f$. For the stated linear map, invariance under translation by one now givesThus translation-invariant linear forms on p-adic continuous functions vanish:No continuity of $T$ has been assumed or used. In particular, one must not justify this by applying $T$ termwise to an infinite Mahler expansion; it is the existence of a continuous discrete antiderivative that makes the conclusion valid.

Construct a mean-square derivative of a Gaussian process on the original probability space before choosing its continuous modification. The real covariance function satisfies $K(h)=K(-h)$, because covariance is symmetric. Three-times differentiability implies that $K^{\prime \prime }$ is continuous everywhere and differentiable at zero. Since $K^{\prime \prime }$ is an even function,This uses differentiability of $K^{\prime \prime }$ at zero, not a bound on $K^{\prime \prime \prime }$ throughout a neighborhood.

Let $D_{h}X(t)=(X(t+h)-X(t))/h$ for $h\ne 0$. Twice applying the fundamental theorem of calculus to the covariance function givesOriented integrals make this identity valid for negative as well as positive $h,k$. For a fixed $t$, the right side tends to $-K^{\prime \prime }(0)$ as $h,k\to 0$. In particular,By completeness of L2 space, the mean-square derivative of a Gaussian processexists. Finite vectors consisting of values of $X$ and $Y$ have a centered multivariate normal distribution: approximate the $Y$ coordinates by difference quotients and use mean-square convergence and characteristic functions. Thus $Y$ is a centered Gaussian process jointly constructed with $X$, withIn particular $-K^{\prime \prime }(0)\ge 0$, and $-K^{\prime \prime }$ is a positive-semidefinite kernel because it is an actual covariance function. Merely constructing an unrelated Gaussian process with that covariance function would not yet construct a modification of a stochastic process of $X$.

The increment variance of $Y$ isFor small $|t-s|$, differentiability of $K^{\prime \prime }$ at zero bounds this by $C|t-s|$. For the remaining distances in $[0,1]$, continuity of $K^{\prime \prime }$ enlarges $C$ to give the same bound. The fourth moment of a centered normal distribution is three times its variance squared, soThe one-dimensional Kolmogorov continuity theorem states that $\mathbb{E}|U(t)-U(s){|}^p\le C|t-s{|}^{1+\eta }$ with $p,\eta >0$ gives a continuous modification, with sample-path Hölder continuity of every order less than $\eta /p$. Apply it here with $p=4,\eta =1$. We obtain a continuous modification $\tilde{Y}$ on $[0,1]$. On its null exceptional event, set the entire path equal to zero.

Define, on this same probability space,The path integral exists because its integrand is a continuous function. It agrees in L2 space with the integral of $Y$: Riemann sums converge in L2 space because $Y$ is mean-square continuous; sums of $\tilde{Y}$ have the same values almost surely at each finite collection of mesh points and converge pathwise to the integral. These two limits therefore agree almost surely for each fixed $t$. Equivalently, the integral is the Bochner integral of the L2 space-valued map $s\mapsto Y(s)$.

To verify the modification of a stochastic process property directly, put $A_t=X(t)-X(0)$ and $I_t={\int }_0^{t}Y(s)ds$. The preceding covariance identities and the fundamental theorem of calculus giveTherefore $\mathbb{E}(A_t-I_t{)}^2=0$ and $\tilde{X}(t)=X(t)$ almost surely for every fixed $t$. This is also the mean-square fundamental theorem of calculus in this stationary setting. If a version on all of $\mathbb{R}$ is desired, retain the original $X(t)$ outside $[0,1]$; equality at every fixed parameter still holds.

The ordinary fundamental theorem of calculus now gives the simultaneous pathwise conclusionThus the requested differentiable modification of a stationary Gaussian process exists. Integrability of $K$ is compatible with the hypotheses but is unnecessary for this direct argument. It also avoids any assumption that a third absolute moment of a spectral density follows from three-times differentiability.

Let $F,G$ be disjoint closed subsets of $K$. They are compact. For each $x\in F,y\in G$, the Hausdorff space condition gives disjoint open neighbourhoods $U_{xy},V_{xy}$. For fixed $x$, finitely many $V_{xy}$ cover $G$; intersect the corresponding $U_{xy}$ and take the union of those $V_{xy}$ to obtain disjoint open sets $U_x\ni x$ and $V_x\supset G$. Finitely many $U_x$ cover $F$. Their union and the intersection of the corresponding $V_x$ are disjoint open neighbourhoods of $F,G$. The case of an empty set is immediate. Hence $K$ is a normal topological space.

Urysohn lemma states that in a normal topological space satisfying $T_1$, disjoint closed sets $F,G$ admit a continuous function $h:K\to [0,1]$ with $h=0$ on $F$ and $h=1$ on $G$.

Since a subalgebra is closed under addition and scalar multiplication, the given absolute-value property yieldsThe same identity with a minus sign gives $\min (f,g)\in A$. These are pointwise operations on real-valued continuous functions.

Let $u(t)=\gamma (t)/|\gamma (t)|$, a continuous map into the unit circle. By uniform continuity, partition $[0,1]$ so finely that on each interval beginning at $t_j$, $|u(t)/u(t_j)-1|<1$. This ratio lies in the right half-plane and has a continuous complex argument with value zero at $t_j$. Starting from ${\theta }_0$, add these local arguments successively, matching endpoint values. This constructs a continuous real lift with $u(t)=e^{i\theta (t)}$.

Any two such lifts with the same initial value differ by a continuous function taking values in $2\pi \mathbb{Z}$, and hence coincide. Since the curve closes, $e^{i(\theta (1)-\theta (0))}=1$. Define its winding number byChanging the chosen initial argument adds a constant multiple of $2\pi$ to the whole lift, so the winding number is independent of that choice. No differentiability of the curve is required.

Take $f=1_{[0,1]}$. Its Fourier transform iswith value one at zero. It is bounded near zero and is $O(|\xi {|}^{-1})$ at infinity, so $(1+{\xi }^2{)}^s|\hat{f}{|}^2=O(|\xi {|}^{2s-2})$ is integrable for $s<1/2$. ThereforeIf a continuous function agreed with this indicator almost everywhere, continuity would force it to equal zero on $(-\infty ,0)$ and one on $(0,1)$: any violation has a nonempty open neighbourhood of positive measure. The one-sided limits at zero would then differ, a contradiction. Hence no continuous representative exists.

The function is continuous at $x$ when, for every $\epsilon >0$, there is $\delta >0$ such that $|y-x|<\delta$ implies $|f(y)-f(x)|<\epsilon$.

If this holds and $x_n\to x$, eventually $|x_n-x|<\delta$, so $f(x_n)\to f(x)$. Conversely, if continuity fails, some ${\epsilon }_0>0$ allows, for every $n$, a point $x_n$ with $|x_n-x|<1/n$ but $|f(x_n)-f(x)|\ge {\epsilon }_0$. Then $x_n\to x$ while $f(x_n)\nrightarrow f(x)$, a contradiction. This is the sequential characterization of continuity in metric spaces.

The L1 norm properties of absolute homogeneity and the triangle inequality follow from the corresponding properties of the absolute value and the integral. If $\Vert f{\Vert }_1=0$, the nonnegative continuous function $|f|$ has zero integral. Were $|f(x_0)|>0$, continuity would make it bounded below by a positive number on a nontrivial interval, contradicting the zero integral. Thus $f=0$, proving positive definiteness.

Put $M=\Vert f{\Vert }_{\infty }$ and choose the continuous cutoff functionThen $g_n(0)=g_n(1)=0$, $\Vert g_n{\Vert }_{\infty }\le M$, and $f-g_n$ is supported in the two endpoint intervals of total length $2/n$. Therefore

Now suppose ${\int }_0^{1}fg=0$ for every $g\in \mathcal{S}$. Apply this to the above $g_n$. By the uniform norm bound,Hence ${\int }_0^1{f}^2=0$, and continuity again gives $f=0$.

Sperner's lemma says that if a triangle is triangulated, its vertices are labelled $1,2,3$, and label $i$ is forbidden on the edge opposite vertex $i$, then an odd number of small triangles have all three labels.

To prove it, count incidences with edges whose endpoint labels are $1$ and $2$. Along the outer $12$-edge, the labels begin at $1$ and end at $2$, so the number of $12$ transitions is odd; no other boundary edge contributes. An interior edge contributes twice. A small triangle contributes an odd number precisely when its three labels are $1,2,3$: a triangle using only $1,2$ contributes two, and every other non-tricoloured triangle contributes zero. The number of tricoloured triangles is therefore odd.

Now suppose the closed sets $A_i$ in the question existed. Let $d_i(x)$ be the distance from a point to a closed set $A_i$. Empty triple intersection makes $d_1+d_2+d_3>0$, sois a continuous function from the large triangle to itself, where $v_i$ is the vertex opposite ${\alpha }_i$. Since the $A_i$ cover the triangle, at least one $d_i(x)$ vanishes, so $r(x)$ always lies on the boundary. On ${\alpha }_i\subseteq A_i$, its $i$th barycentric coordinate vanishes, hence $r({\alpha }_i)\subseteq {\alpha }_i$. Thus $r$ is face-preserving on the boundary; its boundary restriction is homotopic there to the identity by the straight-line homotopy. This would give a map from the triangle into its boundary whose boundary degree is one, contradicting the no-retraction theorem, the standard topological consequence of Sperner's lemma. Therefore the three closed sets must have a common point.

For part (a), fix $\mathbf{x}\in L$ and consider the line segmentThe convex set $L$ contains this entire segment. Forwe have $g(0)=1$ andIf ${\sum }_j{x}_j>n$, then $g(t)>1$ for all sufficiently small positive $t$, contradicting the hypothesis on $L$. Thus

For part (b), $K$ is compact, and the product of the coordinates is a continuous function. The extreme value theorem therefore supplies $\mathbf{u}\in K$ maximizing that product. Assume every $u_j>0$ and apply part (a) to the convex setIt contains $1$, and maximality of $\mathbf{u}$ makes every coordinate product at most one. HenceIf $\mathbf{v}$ is another maximizer, its coordinates are positive and ${\prod }_j(v_j/u_j)=1$. The arithmetic-geometric mean inequality giveswhile the displayed inequality gives the reverse bound. Equality in the arithmetic-geometric mean inequality forces every $v_j/u_j=1$. Therefore the maximizer $\mathbf{u}$ is unique.

The intermediate value theorem states that if $f:[a,b]\to \mathbb{R}$ is continuous and $y$ lies between $f(a)$ and $f(b)$, then some $c\in [a,b]$ satisfies $f(c)=y$.

Assume $f(a)<y<f(b)$ and letThe least-upper-bound property makes $c$ well defined. If $f(c)<y$, continuity gives points immediately to the right of $c$ in $S$, contradicting that $c$ is an upper bound. If $f(c)>y$, continuity gives a left neighborhood of $c$ disjoint from $S$, contradicting the definition of the supremum. Thus $f(c)=y$. The endpoint and reversed-order cases follow directly or by replacing $f$ with $-f$.

The mean value theorem states that if $g$ is continuous on $[\alpha ,\beta ]$ and differentiable on $(\alpha ,\beta )$, then some $c\in (\alpha ,\beta )$ satisfiesFor the functions in the question, the definition of the derivative makes $h$ continuous at $a$ and $f$ continuous at $b$, withIf the middle secant slope equals $k$, take $[\alpha ,\beta ]=[a,b]$. If it exceeds $k$, the intermediate value theorem applied to $h$ gives $\beta \in (a,b)$ with $h(\beta )=k$, and we take $\alpha =a$. If it is below $k$, apply the theorem to $f$ to obtain $\alpha \in (a,b)$ with $f(\alpha )=k$, and take $\beta =b$. In every caseThe mean value theorem on this subinterval then produces $c\in (\alpha ,\beta )\subset (a,b)$ withThis is the Darboux theorem for derivatives for the stated pair of derivative values.

Choose a basis of the finite-dimensional vector space and let $|x{|}_{\infty }$ be the maximum absolute coordinate. For any norm $N$, the triangle inequality givesso $N$ is continuous in the coordinate topology. On the compact set $\{x:|x{|}_{\infty }=1\}$, the positive continuous function $N$ attains a positive minimum $m$ and a finite maximum $M$. By absolute homogeneity,This proves the equivalence of norms in finite dimensions: every norm is equivalent to the maximum norm, and transitivity of these inequalities proves that any two norms on a finite-dimensional vector space are Lipschitz equivalent.

No. For each $x>0$, $e^{-nx}\to 0$, whereas $e^{-n0}=1$ for every $n$. The pointwise limit on $[0,1]$ is thereforeThis limit is not continuous at $0$. Since every $f_n(x)=e^{-nx}$ is continuous, the uniform limit theorem rules out uniform convergence. Directly, $|f_n(x)-f(x)|=e^{-nx}$ for $x>0$, whose supremum over $(0,1]$ is $1$ for every $n$.

A sequence of functions $f_n:A\to \mathbb{R}$ converges uniformly to $f$ when, for every $\epsilon >0$, there is an $N$ such thatfor every $x\in A$. Equivalently, $\Vert f_n-f{\Vert }_{\infty }\to 0$ in the supremum norm.

Yes. Fix $x_0\in A$ and $\epsilon >0$. Uniform convergence gives $N$ such that $|f_N(x)-f(x)|<\epsilon /3$ for every $x\in A$. Since the continuous function $f_N$ is continuous at $x_0$, there is a $\delta >0$ such that $|x-x_0|<\delta$ implies $|f_N(x)-f_N(x_0)|<\epsilon /3$. The triangle inequality then givesThis proves the uniform limit theorem: $f$ is continuous.

If such a continuous function existed, the inverse imageswould be closed, would cover $I$, and would contain $-1$ and $1$ respectively. Part (b) gives a point in $A\cap B$, which is impossible.

Let ${\mu }_X$ and ${\mu }_Y$ be the probability laws of $X$ and $Y$. The hypothesis saysfor every compactly supported continuous function $f$. The theorem that compactly supported continuous functions determine a finite Borel measure gives ${\mu }_X={\mu }_Y$. Hence $X$ and $Y$ have the same law.

A real-valued process $(B_t{)}_{t\ge 0}$ is a standard Brownian motion if: