MHB How Can You Prove Properties of Cells in Lattices Using the Complex Plane?

AI Thread Summary
The discussion focuses on proving properties of cells in lattices using the complex plane, specifically through the map defined by the norm on Gaussian integers. It establishes that the norm's properties lead to certain inequalities and conditions for elements in the lattice. The second point involves demonstrating that a specific function is a composition of transformations, including dilation and rotation. The third point suggests finding a lattice point that results in a norm smaller than a given value, hinting at the use of the pigeonhole principle and geometric properties of the transformations. Overall, the conversation revolves around leveraging complex analysis to explore lattice structures and their properties.
pantboio
Messages
43
Reaction score
0
I have the following assignment:consider the map $$|\cdot|:\mathbb{Z}\longrightarrow \mathbb{N},\qquad |a+ib|:=a^2+b^2$$1) Prove that $|\alpha|<|\beta|$ iff $|\alpha|\leq |\beta|-1$ and $|\alpha|<1$ iff $\alpha=0$2) Let $\alpha,\beta\in\mathbb{Z},\beta\neq 0$. Prove that the map $f:\mathbb{Z}\longrightarrow\mathbb{Z}, f(\gamma):=\alpha-\gamma\beta$ is the composition of a dilatation by the factor $\sqrt{|\beta|}$, a rotation (angle?) and a translation.3) Deduce that there exists $\gamma\in\mathbb{Z}$ such that $|f(\gamma)|$ is strictly smaller than $|\beta|$.$\textbf{Hint:}$ compare the size of a cell of the lattice $f(\mathbb{Z})$ and the size of the set of points whose distance to $0$ is $\leq\sqrt{|\beta|}$.What i did: point 1) is a trivial consequence of the fact that the norm takes integer non negative values. For point 2), I use complex multiplication of numbers which is: multiply absolute values and add angles. For point 3), I'm actually waiting for a miracle... I suppose i should prove that there exists a cell in $f(\mathbb{Z})$ intersecting the open ball centered at the origin with radius $\sqrt{|\beta|}$, but i have no idea how to write down this. Only thing i noticed is that $f$ acts with a rotation, which does not affect distance from the origin, so that the only changes in $|\gamma|$ come from dilatation and by adding $\alpha$.Could someone put me on the right direction? Thanks in advance
 
Mathematics news on Phys.org
HINT:

The pigeonhole principle. Possibly. Still thinking.
 
New idea: consider the set of points $\gamma \in \mathbb{Z}i$ such that $|\beta|\cdot|\gamma|<|\alpha|$. This set does not change under rotation, under dilation it becomes a subset of the points $x \in \mathbb{Z}i$ such that $|x|<|\alpha|$. What does that mean for the resulting translation?
 
Thread 'Video on imaginary numbers and some queries'
Hi, I was watching the following video. I found some points confusing. Could you please help me to understand the gaps? Thanks, in advance! Question 1: Around 4:22, the video says the following. So for those mathematicians, negative numbers didn't exist. You could subtract, that is find the difference between two positive quantities, but you couldn't have a negative answer or negative coefficients. Mathematicians were so averse to negative numbers that there was no single quadratic...
Thread 'Unit Circle Double Angle Derivations'
Here I made a terrible mistake of assuming this to be an equilateral triangle and set 2sinx=1 => x=pi/6. Although this did derive the double angle formulas it also led into a terrible mess trying to find all the combinations of sides. I must have been tired and just assumed 6x=180 and 2sinx=1. By that time, I was so mindset that I nearly scolded a person for even saying 90-x. I wonder if this is a case of biased observation that seeks to dis credit me like Jesus of Nazareth since in reality...
Thread 'Imaginary Pythagoras'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Back
Top