Diophantine vectors in analytic submanifolds of Euclidean spaces (Q2464300): Difference between revisions

A vector \(x=(x_1,\dots,x_n)\in \mathbb{R}^n\) is said to be Diophantine if there are a positive number \(\tau=\tau(x)\) and a constant \(\gamma>0\) such that \(| (x,y)| >\gamma/| y| ^\tau\) holds for all \(y=(y_1,\dots,y_n)\in\mathbb{Z}^n-\{0\}\), where \((x,y)=\sum_{i=1}^nx_iy_i\) and \(| y| =| y_1| +\cdots+| y_n| \). Let \(B\) be a connected open set in \(\mathbb{R}^m\) and let \(F:B\rightarrow \mathbb{R}^n\) be an analytic vector-valued mapping. The authors mainly prove that almost all vectors in \(F(B)\) are Diophantine if and only if there exists one Diophantine vector in \(F(B)\).