I wasn't trolling, I was pointing out this:..Origin was simply trolling.
is wrong.....A complex number in complex plane is certainly a vector,
I wasn't trolling, I was pointing out this:..Origin was simply trolling.
is wrong.....A complex number in complex plane is certainly a vector,
That's why some references emphasize that it's not a normal vector space, but a projective one and a wave function is a ray in this projective space.In quantum mechanics where the vector space is $$ \mathbb C^2 $$, one degree of freedom is lost with the restriction that the probabilities of measurement outcomes sum to 1.
Bloch sphere representation of a qubit. The probability amplitudes in the text are given by and .
Let V be a real vector space. The complexification of V is defined by taking the tensor product of V with the complex numbers (thought of as a two-dimensional vector space over the reals):
The subscript R on the tensor product indicates that the tensor product is taken over the real numbers (since V is a real vector space this is the only sensible option anyway, so the subscript can safely be omitted). As it stands, VC is only a real vector space. However, we can make VC into a complex vector space by defining complex multiplication as follows:
More generally, complexification is an example of extension of scalars – here extending scalars from the real numbers to the complex numbers – which can be done for any field extension, or indeed for any morphism of rings.
By the nature of the tensor product, every vector v in VC can be written uniquely in the form
where v1 and v2 are vectors in V. It is a common practice to drop the tensor product symbol and just write
Multiplication by the complex number a + ib is then given by the usual rule
We can then regard VC as the direct sum of two copies of V:
with the above rule for multiplication by complex numbers.
Dual spaces and tensor products
The dual of a real vector space V is the space V* of all real linear maps from V to R. The complexification of V* can naturally be thought of as the space of all real linear maps from V to C (denoted HomR(V,C)). That is,
The isomorphism is given by
where φ1 and φ2 are elements of V*. Complex conjugation is then given by the usual operation
Given a real linear map φ : V → C we may extend by linearity to obtain a complex linear map φ : VC → C. That is,
This extension gives an isomorphism from HomR(V,C)) to HomC(VC,C). The latter is just the complex dual space to VC, so we have a natural isomorphism:
More generally, given real vector spaces V and W there is a natural isomorphism
Complexification also commutes with the operations of taking tensor products, exterior powers and symmetric powers. For example, if V and W are real vector spaces there is a natural isomorphism
Note the left-hand tensor product is taken over the reals while the right-hand one is taken over the complexes. The same pattern is true in general. For instance, one has
In all cases, the isomorphisms are the “obvious” ones.
I wasn't trolling, I was pointing out this:
But it has been explained that the field $$\mathbb{C}$$ can legitimately be regarded as a vector space over itself. Unless you wish to assert otherwise, or that elements in a vector space are not vectors, you are quite mistaken.is wrong.
OK.But it has been explained that the field $$\mathbb{C}$$ can legitimately be regarded as a vector space over itself. Unless you wish to assert otherwise, or that elements in a vector space are not vectors, you are quite mistaken.
You're now free to choose a measurement basis; an electron passing through a non-linear magnetic field as in a Stern-Gerlach apparatus, will emerge at an angle that depends on its spin and on its path through the field (the beam spreads into a shape like the outline of a lozenge, in reality).Give an electron a classical velocity along the x axis so then you are free to choose two other axes to do--what?
As far as I know, it doesn't have anything to do with measurement. Rather, the third polarization option is usually lost because it requires the field to oscillate along the axis of propagation, which does not happen in free space. One of my coworkers works with optical fibers, in which the speed of light is slowed significantly; in this situation, light can propagate in "somersault" modes with nonzero polarization along all three axes.A photon is spin 1, so it can have parallel, antiparallel, or transverse spin (polarization), but the latter mode is a "lost" degree of freedom because any measurement must occur at the speed of light (but, hang on, why is that a problem?).
In mathematics terminology, the vector space of bras is the dual space to the vector space of kets, and corresponding bras and kets are related by the Riesz representation theorem.
, yes, thanks. I can recall reading about polarization modes like that a few years ago. So it isn't a problem except for free photons, when it is a problem?Fedni48 said:One of my coworkers works with optical fibers, in which the speed of light is slowed significantly; in this situation, light can propagate in "somersault" modes with nonzero polarization along all three axes.
Except for the speed of light having something to do with measurement of light? The electric field is oscillating along the axis of motion, meaning it is moving faster than the speed of light in that medium. In a vacuum SR says it can't.As far as I know, it doesn't have anything to do with measurement.
Well, be careful here - a complex number is also a scalar!So, a complex number is an extension of scalars . . .? Or what mathematicians call a field extension?
/slaps_forehead Of course! every $$ x \in \mathbb R$$ can be written as $$ x = a + b,\,a,b \in \mathbb R$$.But since every $$z \in \mathbb{C}$$ can be written as $$z=x+yi,\,\,x,y \in \mathbb{R}$$ one can equate $$R(i) \equiv \mathbb{C}$$, and say that $$\mathbb{C}$$ is a field extension for $$\mathbb{R}$$.
Thomas Young's sketch of two-slit interference based on observations of water waves
I'm still not sure why my tensor product should be $$ w \otimes \overline z $$, I'm leaning towards something about dual spaces but I can't make out what it says yet.