User:Lord Farin/Sandbox

This page exists for me to be able to test out features I am developing. Also, incomplete proofs may appear here.

Feel free to comment.

On continuous functions
Let $\left({X, \left\Vert{\cdot}\right\Vert_X}\right)$ be a Banach space, and let $\left({Y, \left\Vert{\cdot}\right\Vert_Y}\right)$ be a normed vector space.

Let $f: X \to Y$ be a continuous function.

Let $\left({x_n}\right)_{n\in\N}$ be a bounded sequence in $X$.

Suppose that $\displaystyle \lim_{n \to \infty} f \left({x_n}\right) = y$, with $y \in Y$.

Let $f^{-1} \left({y}\right) := \left\{{x \in X: f \left({x}\right) = y}\right\}$ be the preimage of $y$ under $f$.

Assume that it is nonempty.

Then:

$\forall \epsilon > 0: \exists N \in \N: \forall n \in \N: n \ge N \implies \displaystyle \inf_{x \in f^{-1} \left({y}\right)} \left\Vert{x_n, x}\right\Vert_X < \epsilon$

For an example where the statement does not hold, consider the function $f : \Q \to \Q$ defined by $f\left({x}\right) = x^2$ if $x \le 0$ and $f\left({x}\right) = 2 x^2$ if $x \ge 0$. Then for any Cauchy sequence $\langle {a_n} \rangle$ of rational numbers that converges to $-\sqrt 2$, we have $\displaystyle \lim_{n\to\infty} f\left({a_n}\right) = 2$, but $f^{-1}\left({2}\right) = \left\{ {1} \right\}$.

I have a feeling that the statement is still false even if $X$ is a Banach space. As of now, I can’t prove or disprove it yet. Abcxyz 11:14, 10 March 2012 (EST)


 * Thanks for the comment. I will now try to write a proof. --Lord_Farin 11:23, 10 March 2012 (EST)

Disproof
Indeed, the statement is false even if $X$ is a Banach space. Here's the (dis)proof:

Consider the normed vector space $X$ given by the set of all continuous functions $\alpha : [0, 1] \to [0, 1]$, equipped with the supremum norm $\displaystyle \left\Vert {\alpha} \right\Vert_{\infty} = \sup_{x\in [0, 1]} \alpha\left({x}\right)$.

We now show that $X$ is a Banach space over $\R$. It remains to show that $X$ is a complete metric space.

Let $\alpha_1, \alpha_2, \alpha_3, \ldots: [0, 1] \to [0, 1]$ be a Cauchy sequence of continuous functions. (Here, the metric used is the metric induced by the supremum norm.)

Let $\displaystyle \alpha = \lim_{n\to\infty} \alpha_n$. It remains to show that $\alpha$ is continuous.

Let $\epsilon > 0$.

Then there exists an $N$ such that for all $n > N$, $\left\Vert \alpha_n - \alpha \right\Vert_{\infty} < \epsilon$.

By the definition of supremum norm, for all $x \in [0, 1]$, $\left\vert \alpha_n\left({x}\right) - \alpha\left({x}\right) \right\vert < \epsilon$.

Hence $\alpha$ is continuous by the uniform limit theorem.

Now, consider the function $f : X \to \R_{\ge 0}$ defined by $\displaystyle f\left({\alpha}\right) = \int_0^1 \alpha\left({x}\right) \,\mathrm{d}x$. We now show that $f$ is continuous.

Let $\alpha_0 \in X$, and let $\alpha \in X$ be such that $\left\Vert \alpha - \alpha_0 \right\Vert_{\infty} < \epsilon$.

Then:

Hence $f$ is continuous.

(Now for the counter-example to the statement.)

The pre-image of $\left\{ {0} \right\}$ under $f$ is the zero function.

Consider the sequence of continuous functions $\alpha_1, \alpha_2, \alpha_3, \ldots : [0, 1] \to [0, 1]$ defined by $\alpha_n\left({x}\right) = \max \left\{ {0, 1 - nx} \right\}$.

A straightforward calculation yields $\displaystyle \lim_{n\to\infty} f\left({\alpha_n}\right) = 0$.

However, $\left\Vert \alpha_n \right\Vert_{\infty} = 1$ for all $n \in \N$.

Abcxyz 12:21, 10 March 2012 (EST)

Graph Theory axiomatisation
I thought of a sort of viable system; it might seem cumbersome, but I think it provides first-order rigidity (up to a point, of course).

Let $\mathsf{Graph}$ be the following language:


 * It has three relations:
 * The unary relation $\mathsf V$, intended to mean $\mathsf V x$ iff $x$ is a vertex
 * The unary relation $\mathsf E$, intended to mean $\mathsf E x$ iff $x$ is an edge
 * The ternary relation $\mathsf{Edge}$, intended to mean $\mathsf{Edge}(x,y,z)$ iff $x$ is an edge with end points $y, z$ (be it in specified order or not, that can be chosen by adding axioms)


 * It has no function symbols


 * It is subject to the following axioms:
 * $\forall x: \mathsf V x \lor \mathsf E x$ (everything is a vertex or an edge)
 * $\forall x: \neg \left({\mathsf V x \land \mathsf E x}\right)$ (nothing is both a vertex and an edge)
 * $\forall x,y,z: \mathsf{Edge} \left({x, y, z}\right) \implies \left({\mathsf E x \land \mathsf V y \land \mathsf V z}\right)$ (expressing what each component of $\mathsf{Edge}$ is)
 * $\forall x,y,z,\tilde y, \tilde z: \mathsf{Edge} \left({x, y, z}\right) \land \mathsf{Edge} \left({x, \tilde y, \tilde z}\right) \implies \left({ \left({y = \tilde y \land z = \tilde z}\right) \lor \left({y = \tilde z \land z = \tilde y}\right) }\right)$ (an edge concerns itself with at most two vertices)
 * $\forall x: \mathsf E x \implies \exists y,z: \mathsf{Edge} \left({x, y, z}\right)$ (there are no void edges)

In principle, this will be enough (I think). However, one can add:


 * $\forall x,y,z: \mathsf{Edge} \left({x, y, z}\right) \implies \mathsf{Edge} \left({x, z, y}\right)$ (signifying an undirected graph)
 * $\forall x,y,z: \mathsf{Edge} \left({x, y, z}\right) \implies \neg \mathsf{Edge} \left({x, z, y}\right)$ (a directed graph)
 * $\forall x,y,z: \mathsf{Edge} \left({x, y, z}\right) \implies \neg \left({y = z}\right)$ (a loop-free graph)
 * $\forall x,y,z,\tilde x: \mathsf{Edge} \left({x, y, z}\right) \land \mathsf{Edge} \left({\tilde x, y, z}\right) \implies x = \tilde x$ (a non-multigraph)

I have discovered that it is hard to formulate the notion of a path in first-order logic. This isn't strange, it's like saying that a set has cardinality $n$. An $n$-path can be achieved though.

I have put a moment's thought into dropping axiom 4. It may be interesting for investigation of, for example, non-injective maps (described by an edge with multiple starts... well, you get it).

The unary symbols $\mathsf E, \mathsf V$ combined with axiom 1,2 are effectively splitting the set that is a model into two parts, similar to the ordered pair used in the definition at the moment. What do you think? --Lord_Farin 17:59, 20 February 2012 (EST)
 * That seems like a reasonable axiomatization, though I'm not sure if it's really necessary. It seems at first blush like it would make a number of proofs much more annoying. I'll try to find a good book on digraphs and see how they manage it, and perhaps talk to someone. Scshunt 23:21, 20 February 2012 (EST)
 * What proofs exactly? One only needs to take care about what $\mathsf{Edge}$ does differently from normal, if it does any such thing. I'm just curious; you have of course every right to criticism. --Lord_Farin 02:56, 21 February 2012 (EST)