# “Liar functions”: is this a known concept?

While reading this comment and thinking about how you could change the functions without convergence (because the Lebesgue integral doesn't care about changes at countably many places), I just arrived at a concept which could be called "liar functions", for reasons which should be obvious after reading this.

The concept is based on the known fact that the set of all real numbers you can name (no matter in which way) is countable, because the number of names is countable. Therefore you can change a function in all "named" positions, without changing its integral (or any other property which is only dependent on values "almost everywhere).

Let $N\subset\mathbb R$ be the set of named values (that is, the set of values you can uniquely specify). Then I call a "liar function" a function $f:\mathbb R\to \mathbb R$ which has the following properties:

• The restriction of $f$ to $N$ has an obvious extension $f_1$ to all of $\mathbb R$.
• The restriction of $f$ to $\mathbb R\setminus N$ also has an obvious extension $f_2$ to $\mathbb R$.
• $f_1$ and $f_2$ are significantly different.

As a simple example, consider the function $$f(x)=\cases{1 & for $x$ in $N$\\ 0 & otherwise}$$ This function simply lies about its value: Whenever you evaluate it at a position you can specify, it gives $1$. However, it is actually $0$ almost everywhere, except where you can look.

Another function, which lies more subtly, would be the function $$g(x)=\cases{1/q & for $x=p/q\in \mathbb{Q}$, $\operatorname{lcd}(p,q)=1$\\ 0 & for $x\in N\setminus \mathbb Q$\\\frac{1}{1+x^2} & otherwise}$$

This on named values looks like the well known function which is continuous on all irrational numbers but discontinuous at all rational numbers. However actually it equals the Lorentz function almost everywhere (which e.g. means its integral over $\mathbb R$ exists, but is not $0$ as one might infer if one onle knows it on named values), and it is actually nowhere continuous (but almost everywhere equal to a continuous function).

Now my question: Is this concept of "liar functions" (probably under another name) already known?

Also, does there exist a liar function which is discontinuous in any $x\in N$, but continuous for any $x\notin N$?

-

I also know little on this subject, but your 'known number' seems to mean the concept of computable number. According to Wikipedia, there has been some attempts to develop analysis based on the field of computable numbers, so it may be helpful to search in these literature. Finally, I guess that the function $f(x)$ that assigns the reciprocal of the minimal Gödel number representing $x$ for computable $x$, and $0$ otherwise seems work for you last question. – sos440 Aug 7 '12 at 16:38
This isn't quite the same as the computable numbers. For instance, Chaitin's constant $\Omega$ is nameable but not computable. I think you'd need to fix a language in which you're doing your naming before starting to ask questions like the last one. Once you've done that, as long as your language has at most countably many symbols, you might try defining a function that's $1/n$ at numbers with $n$-symbol names and 0 at unnameables. But the continuity argument seems tricky. – Kevin Carlson Aug 7 '12 at 16:48
– celtschk Aug 7 '12 at 16:50
... define your number as "0." + the concatenation of all programs that always terminate, in lexicographic order. That's a well-defined number, but you cannot compute it (because that would, by design, involve solving the halting problem). – celtschk Aug 7 '12 at 16:52
The concept of "nameable numbers" is problematic on its face.  Let $x$ be the smallest positive integer not nameable in $100$ characters or less.  (Uh-oh.) – mjqxxxx Aug 7 '12 at 16:53
show 11 more comments

## 1 Answer

For any sequence of reals $r_1,r_2,\dots$, there is a function that is discontinuous precisely at elements of this sequence. For example, define $f(x)$ to be the sum of $2^{-n}$ over all $n$ such that $r_n<x$.

-

Nice construction. That definitely answers my second question, thank you. – celtschk Aug 7 '12 at 17:05
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 32, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9462786316871643, "perplexity_flag": "head"}