# Quick notation+statement verification

1. Jul 11, 2005

### bomba923

Do you agree that, $$\forall k \in \left[ {a,b} \right]\;{\text{where}}\;\left( {a,b,k} \right) \in \mathbb{Q}^3$$,
$$\exists \,\varepsilon > 0{\text{ such that}}\;\forall n \in \mathbb{N},\;\left( {\left\{ {k_1 ,k_2 , \ldots ,k_n } \right\} - a} \right) \subseteq \varepsilon \left\{ {0,1,2, \ldots ,\left\lfloor {\frac{{b - a}}{\varepsilon }} \right\rfloor } \right\}$$

|*Is this True or False ?

Last edited: Jul 12, 2005
2. Jul 12, 2005

### matt grime

i don't think it makes sense until you say what the k_n are. don't bother with the symbols just write it in english.

3. Jul 12, 2005

### bomba923

Sorry; the whole mess seems to simplify down to this statement:

$$\forall \left\{ {k_1 ,k_2 , \ldots ,k_n } \right\} \subset \mathbb{Q}\;{\text{where }}k_1 < k_2 < \ldots < k_n ,$$
$$\exists \,\varepsilon > 0\;{\text{such that}}\;\forall n \in \mathbb{N},\;\left\{ {k_1 ,k_2 , \ldots ,k_n } \right\} \subseteq \varepsilon \left\{ {0,1,2, \ldots ,\left\lfloor {\frac{{k_n - k_1 }} {\varepsilon }} \right\rfloor } \right\}$$

*|is this True or False?

Last edited: Jul 13, 2005

Similar Threads - Quick notation+statement verification Date
I Diagonalization and change of basis Jan 16, 2018
I Definition of discrete Subgroup quick q Jan 19, 2017
I Eistenstein series E_k(t=0) quick q? Modular forms Dec 26, 2016
I Modular form quick question translation algebra Dec 22, 2016
I Quick question about Lagrange's theorem Sep 22, 2016