Talk:Liouville number

message: Could someone clarify the definition? I don't understand what a Liouville number is. Also, the Liouville constant should be explained better; how is it defined? AxelBoldt 04:43 Dec 14, 2002 (UTC)
:Hope that helps; the proof doesn't seem super dense if someone wants to tackle it. Chas zzz brown 10:41 Dec 17, 2002 (UTC)
Yes, thanks, that clarifies it. The proof would be nice, since the Liouville constant seems to be one of the few numbers that can be proven to be transcendental rather easily. 
I still don't understand the irrationality measure. Is it the supremum over all approximating sequences? Are Liouville numbers precisely the numbers with infinite irrationality measure? 
On http://mathworld.wolfram.com/LiouvilleNumber.html, they require infinitely many rational p/q for any n. Is that equivalent? AxelBoldt 02:17 Dec 18, 2002 (UTC)
:Using the article definition, given a Liouville number x, there exists an infinite sequence of integer pairs {(pi, qi)} which satisfy |x - pi/qi| < 1/(qi)i. Then for all m > n,  
::|x - pm/qm| < 1/(qm)m < 1/(qm)n; 
:so there are an infinite number of such integer pairs for a given n. Conversely, starting with the Mathworld definition, all we require is a single example for each n to satisfy the article definition, so the two statements are equivalent.
:I'm not sure that the given value really is Liouville's constant; for example, some seem to prefer ∑ 2-j! instead of ∑ 10-j! (both are Liouville numbers). I don't understand the irrationality measure either; one would assume that it would want to be over all sequences - or over all rationals with positive denominator?
:The proof is paraphrased from the given link - what is the copyright issue here (if any)?
::My understanding (or opinion) on this question would be as follows:
::1. There are certain proofs which are either so old, so famous, or so important, that they are a part of "folk mathematics", i.e. they are part of the common intellectual body of mathematics (e.g. the proof of Lagrange's theorem, Heine-Borel theorem, Cantor's diagonal argument, Erdos's proof of Bertrand's postulate, and most "basic" results in a particular area) and "belong" to no one.
::2. There are other more recent proofs, which are attributable to particular individuals.  These may appear in journal articles, class notes, etc.  These "belong" to someone, in the sense that they may or may not be legally copyrighted.
::3. In any case, it seems to me that proofs are not really "copyrightable"...it is probably best not to copy verbatim someone's wording.  But the essence of a proof can be rephrased without verbatim copying.  In this case, unless it's obviously a "folk proof", credit should be given (e.g. "The following proof is due to Niven, see...")
::4. Unless you are copying entire papers, articles, notes, or chapters, I doubt that anyone would object to a single proof of theirs being paraphrased here.  I would guess (at least, I would feel this way) that it would be something of an honour to think that one's proof warranted specific mention in a general encyclopedia, given the bulk of math that's published every year.
Revolver
:Finally, I'll be SOOOO glad when the TeX support is added; in my browser, I can't see either ≤ or ≥, so the proof looks a bit like gobbely-dy-gook to me :(. Chas zzz brown 09:12 Dec 18, 2002 (UTC)
:I would vote for changing the definition to more closely match the one in Mathworld. The definition here requires an infinite number of rationals for each n. As is pointed out here on this talk page, this is unnecessary. All you need is one rational for each n. If the simpler definition is equivalent, why not use it? MathPerson (talk) 17:40, 4 August 2020 (UTC)
thread_title: Clarify

message: :The terms in the continued fraction expansion of every Liouville number are unbounded...
Is the converse of that true?  That is, if the terms in a continued fraction expansion are unbounded, does it represent a Liouville number? -GTBacchus(talk) 18:44, 29 April 2006 (UTC)
replies: text: No; counterexample is e. AxelBoldt 00:25, 30 April 2006 (UTC)
thread_title:  Continued fraction expansion 

message: I'm curious about the irrationality measure of some of the irrational numbers I run into regularly.  Does anybody know a good source for that?  In particular, I'd like to know about calculating irrationality measure for integer-base logarithms of integers, such as \log_2 3.  Thanks in advance for any pointers. -GTBacchus(talk) 17:28, 19 March 2007 (UTC)
thread_title:  Irrationality measure of logarithms 

message: Since Liouville numbers have μ = ∞, one would say that approximation is harder when μ is lower. This cannot easily be seen by the measure of rational or algebraic numbers, which I hear is 1 and 2 respectively. Obviously, rational numbers are easy to approximate...
Approximating x to n+1 decimal digits, one may get
:\frac{1}{10^n} \ge \vert x- \frac{p}{q} \vert \ge \frac{1}{q^{\mu}}    except for at most a finite number of "lucky"  pairs (p, q)
hence
:q \ge 10^{\frac{n}{\mu}}   for n large enough.
For example, what does μ(π) ~ 8 imply? Brute force approach, where q=10n, can be used to approximate π with, say, 314159265358979323846/1020. In this case I may divide by 2, and then, maybe, simplify more. 1020 >= 1020/8 ~ 316.2 is not really sharp in this case, is it?
How does one characterize that measure?  —Preceding unsigned comment added by Ale2006 (talk • contribs) 19:28, 14 February 2008 (UTC)
thread_title:  What does the irrationality measure measure? 

message: I have not found a Wikipedia article treating this classification.
The Liouville numbers are a subset of the U numbers. Write the definition of Louisville number in terms of linear polynomials px-q, of which infinitely many have absolute value smaller than 1/qn. Now call for polynomials of higher degree instead. That defines U numbers of a given degree.
The transendental numbers that are not U numbers are divided into S and T numbers. The complement of the S numbers has measure zero.
e is an S number. Pi is not a Liouville number, but it is unknown whether it is an S or T number. More likely pi is an S number. Scott Tillinghast, Houston TX (talk) 15:38, 18 July 2008 (UTC)
thread_title:  S, T, and U numbers 

message: Is there any elementary proof of the transcendence of Liouville's constant, something that can be shown to 9th grade (or whatever - those that know how to solve 2nd degree equations but still have no idea that complex numbers exist) students? Albmont (talk) 20:00, 25 September 2008 (UTC)
replies: text: The current proof towards the end of the article is pretty elementary, but it makes use of the mean value theorem, though not in any tricky way, so that could qualify. It can however be made less convoluted by avoiding the contradiction. 130.243.94.123 (talk) 17:22, 12 February 2024 (UTC)
thread_title:  Elementary proof of the transcendence of Liouville's constant 

message: Should there be a separate article for the inequality concerning how closely rationals can approximate algebraics of minimal-degree n? The concepts are closely related, but this article doesn't seem to talk much about this at the moment. Essetra (talk) 22:29, 14 May 2009 (UTC)
thread_title:  Liouville's inequality 

message: From the article: "a Liouville number is a real number x with the property that, for any positive integer n, there exist integers p and q with q > 1 and such that abs(x - p/q) < 1/q^n"
I am missing something.  This seems to imply trivially that rational numbers are Liouville numbers.
Suppose x is rational, then x can be written as x=a/b with a and b integers and b>1.
Then for any n>0, there trivially are integers p=a, q=b such that abs(x - p/q) = 0 < 1/q^n
So rational numbers are Liouville numbers.
By the same reasoning, rational numbers would have infinite irrationality measure, not irrationality measure = 1.
Should the definition require 0 < abs(x - p/q) < 1/q^n ?
Please don't be too harsh in pointing out whatever is my dumb mistake.
Sightly less dumb question (perhaps) - Can someone provide me with a number that is known to have irrationality measure finite but >2, with just a hint of the proof? Presumably such numbers exist and aren't difficult to define.  Does perhaps x = sum(10^(3^k)) have irrationality measure =3?
Fred1939 (talk) 21:47, 14 December 2009 (UTC)
replies: text: Rational numbers are not Liouville numbers, and the definition in the article clearly states 0<  \left |x- \frac{p}{q} \right| < \frac{1}{q^{n}}, I have no idea why are you misquoting it. Ditto for the approximation exponent. As for \sum_k10^{-3^k}, it is easy to see that is has approximation exponent at least 3, and it seems (to me at least) likely that it indeed has exponent exactly 3, but I'm not sure how to prove that. — Emil J. 13:05, 15 December 2009 (UTC)
thread_title:  Dumb Question 

message: Fred39 defined a number x that almost surely has irrationality measure 3.  Here is a different try at this:
According to C D Olds' book Continued Fractions, let a(k) be the terms in a simple continued fraction with convergents p(k)/q(k).  There are recursive equations for p(k) and q(k) –
p(k)=p(k-2)+a(k)*p(k-1); q(k)=q(k-2)+a(k)*q(k-1)
Furthermore, according to wolfram.com on irrationality measure, the irrationality measure m is given by
m=1+lim_sup{log(q(k)/log(q(k-1)}.
Now we can start out (for instance) to define convergents to a number y by
p(1)/q(1)=0/1; p(2)/q(2)=1/2
Then recursively set a(k)=q(k-1) for k>2
Then we get
p(k)=p(k-2)+q(k-1)*p(k-1); q(k)=q(k-2)+q(k-1)^2
It’s pretty easy to see that for this recursively defined number y with convergents c(k)=p(k)/q(k), the irrationality measure is exactly 3.
The specific transcendental number that we get with this definition isn’t particularly pretty – it starts out 0.592643049….
I used some of the same ideas to look at Fred39's original candidate x=sum(10^(-n(k)). The partial sums of the series are themselves convergents to x, because they satisfy the inequality abs(x-p/q)<1/(2*q^2). But unfortunately they are not sequential convergents. The best I could do, using that lim_sup formula from wolfram.com, was to see that the irrationality measure of x is no greater than 4. So the irrationality measure of x is somewhere in the interval [3,4] – and almost certainly equal to 3, as speculated by Fred39. At least x is a simple example of a number with a finite irrationality measure greater than 2.John Gowen (talk) 03:44, 27 December 2009 (UTC)
thread_title:  Finite irrationality measure >2 

message: This section states, "any other decimal with its non-zero digits similarly situated, satisfies the definition of Liouville number."  There seems to be a requirement, not stated, that if the original decimal terminates (for example, 3.5), that it first be written using repeated 9s (e.g., 3.4999...) rather than the "usual" way -- otherwise, the resulting number will also terminate, and therefore will be rational, algebraic, not transcendental, and therefore not a Liouville number.  Or am I misunderstanding something?  I hope someone more knowledgeable in the subject can clarify that section.  (And really, we could use a source for this statement.)  Thanks!  --dzhim (talk) 04:30, 13 May 2010 (UTC)
thread_title:  Uncountability 

message: Choose n=1,p=1,q=2:
Then 0 < abs(0.51-1/2)=0.01 < 1/2=0.5
I've changed it to "every ... n". (This then makes the "for any n, infinitely many p's and q's" make sense as an alternative.)
Mark Hurd (talk) 08:08, 20 August 2011 (UTC)
thread_title:  0.51 is a Liouville number according to the current wording (before I changed it) 

message: Consider number which written in base 2 has expansion 0.110001000000000000000001... which is binary analogue for Liouville constant. Is that Liouville number? Is such analogue Liouville number for any integer base? I think it can be proven by replacing each 10 in article proof with integer being radix of base, but I'm not sure 79.184.102.31 (talk) 17:29, 6 February 2012 (UTC)
thread_title:  Binary Liouville constant 

message: Unless I'm misunderstanding something, the above statement true for all real numbers (pretty much by definition, no?). -99.121.57.175 (talk) 07:26, 4 March 2013 (UTC)
replies: text: This is just an informal explanation of the formula on the previous line, and the point is the "quite closely" bit, other real numbers cannot be approximated "as closely" as Liouville numbers.—Emil J. 17:57, 4 March 2013 (UTC)
thread_title:  "A Liouville number can thus be approximated "quite closely" by a sequence of rational numbers." 

message: It's open... But, the irrationality measure of pi can be 2 like e ?  — Preceding unsigned comment added by 79.85.66.232 (talk) 06:39, 3 April 2014 (UTC)
replies: text:  It can be https://arxiv.org/abs/1902.08817 but I doubt it. 194.186.53.235 (talk) 17:03, 22 March 2020 (UTC)
replies: text: There seems to be a recent result that establishes that the irrationality measure of pi is exactly 2: https://arxiv.org/pdf/1902.08817.pdf 77.22.251.158 (talk) 00:03, 23 December 2021 (UTC)
replies: text: It does not even look like author knows English: in latest v9 version he added "Four Proof" that should have been "Forth Proof". Valery Zapolodov (talk) 00:38, 2 January 2022 (UTC)
thread_title:  Irrationality measure of pi 

message: It says in the article: ‘For any integer b ≥ 2, and any sequence of integers (a1, a2, …, ), such that a_k ∈ {0, 1, 2, …, b - 1}, ∀k ∈ {1, 2, 3, …}’. Therefore, zeros are allowed explicitly in the sequence a_k. However, the sequence a_k = 0 for all k obviously yields the number 0, which is not a Liouville number.
In my opinion, this definition is clearly missing the requirement that the sequence a_k contain infinitely many non-zero numbers. Otherwise, the resulting number will be rational. 3of8 (talk) 08:24, 28 December 2015 (UTC)
thread_title:  Zeros in the sequence? 

message: In the article we read
:This maximum value of μ is defined to be the irrationality measure of x
Is it clear that this maximum exists or should you rather use the supremum? --Jobu0101 (talk) 18:32, 13 July 2021 (UTC)
replies: text:  If the maximum doesn't exist, we say μ is infinity, and this is precisely the case when x is a Lionville number. 2A02:810B:CCBF:F3B4:3DA2:30C6:1DA7:D22E (talk) 00:16, 23 December 2021 (UTC)
replies: text: Is that answer valid? I'm not sure, but we define μ as the "largest possible value for μ such that {\displaystyle 0<\left|x-{\frac {p}{q}}\right|<{\frac {1}{q^{\mu }}}}{\displaystyle 0<\left|x-{\frac {p}{q}}\right|<{\frac {1}{q^{\mu }}}} is satisfied by an infinite number of integer pairs (p, q)". Suppose the inequality is satisfied by an finite number of pairs for μ=K, but for a infinite number of pairs for any μ<K. Then, there is no value according to the definition - no maximum, though there still is a supremum, K. Obviously, K, not infinity, is the sensible value to assign to μ in such a case -- if such cases are possible.--Nø (talk) 10:30, 29 December 2021 (UTC)
replies: text: "precisely the case when x is a Lionville number" You mean a Liouville constant. (P.S. Oh, actually all of the have infinity as a measure of irrationality.) Valery Zapolodov (talk) 16:48, 4 January 2022 (UTC)
thread_title:  Definition of irrationality measure 

message: I'm no expert, and I may have gotten this wrong ... but I think this sentence in the lead:
:They [i.e., Liouville numbers] are precisely the transcendental numbers that can be more closely approximated by rational numbers than any algebraic irrational number.
is either incorrect or misleading. I'm not sure what is meant, really.
#Liouville numbers are not precisely the transcendental numbers. I take "precisely" here to mean the two sets are identical, and if pi is transcendental (I believe it is, or may be) but not a Liouville number (as we claim it isn't later in the lead), then the sets are not identical.
#If the meaning is that Liouville numbers are those of the transcendental numbers that can be more closely approximated, then I think all transcendental numbers can be more closely approximated then the algebraic irrationals, and we really have the same problem - plus, the statement would be sharper if the word "transcendental" was left out.--Nø (talk) 13:42, 15 December 2021 (UTC)
replies: text: *I fixed the first part by adding those instead of the "the". As for second part, well, I thought (???) it should be the opposite since those numbers have infinite irrationality measure, very strange. Valery Zapolodov (talk) 17:15, 4 January 2022 (UTC)
thread_title:  Precisely? 

message: In the section "Irrationality Measure", there is the sentence "thus, the opposite inequality holds for all larger values of q". I think q is a typo.
It should be μ, because if we replace the irrationality measure μ by μ+ε (we enlarge μ by a ε>0), then only a finite amount of rationals is smaller than 1/q^μ, thus an infinite amount then is ≥ 1/q^μ.
Am I wrong here or should we edit the text? Idurom (talk) 08:28, 6 August 2022 (UTC)
thread_title:  Typo? incorrect: q, correct: μ