for questions about algebraic geometry that focus on affine space. For affine mappings in linear algebra (i.e. linear mappings plus translations), please use the linear-algebra tag or another appropriate tag.

learn more… | top users | synonyms

1
vote
1answer
143 views

Rigorous definition and relations between point/vector/affine space/vector space/basis/frame/coordinate system

I am trying to understand the exact relation between all these things: point vector affine space vector space basis frame coordinate system Can you explain me rigorously (in the mathematical ...
1
vote
1answer
39 views

Do all the solutions have to be in an affine variety?

An affine variety $V(X)$ is the zero-locus of a set of polynomials. So if the variety is generated by the polynomial $y-x=0$ in $\mathbb{R}^2$, then do all the solutions (i.e., every point satisfying ...
1
vote
1answer
67 views

Desargues Theorem and help with its significance

I am still trying to get a hang of drawing the picture. The only idea I get from the theorem is that if two triangles are in perspective from a point, then we the theorem , we also get that the ...
1
vote
1answer
360 views

Finding an affine combination of a point on a triangle

I have a problem involving affine combinations that I can't figure out how to solve. Given the above picture, write q as an affine combination of u and w. Now, I understand how to write the ...
1
vote
1answer
166 views

Line-preserving transformations

Is there a name for the class of transformations on the Euclidean plane (or projective plane) that preserves lines? They are not all affine transformations; consider a perspective projection $p$ in ...
1
vote
1answer
31 views

affine variety of infinitely many polynomials can be represented as an affine variety of its finite subset

Let $f_1,f_2,\cdots$ be an infinite sequence of polynomials in $k[x_1,\cdots,x_n]$ and let $V(f_1,f_2,\cdots)=\{(a_1,\cdots,a_n)\in k^n:f_i(a_1,\cdots,a_n)=0$ for $i=0,1,\cdots\}$. Show that there is ...
1
vote
1answer
262 views

Intersection of affine subspaces is affine

So if I have two affine subspaces, each is a translate ( or coset) of some linear subspace. I want to show that the intersection of such affine subspaces is again affine, particularly in ...
1
vote
1answer
131 views

Lines projective space

I have a question concerning the answer of Georges Elencwajg in Lines in projective space There he states that the line $\overline {AB}=\mathbb P(\Lambda)\subset \mathbb P^n$ has its points of the ...
1
vote
1answer
101 views

projective geometry hyperplane

For $j=0,\ldots,n$ consider the affine hyperplane $A_j:=e_j+\langle e_0,\ldots,e_{j-1},e_{j+1},\ldots,e_n\rangle$ in $\mathbb K^{n+1}$ and the associated embedding $\tau_j:\mathbb ...
1
vote
1answer
32 views

$\alpha$ affine iff graph is affine subspace

I am just checking different analogous of $\alpha:V \longrightarrow W$ being affine. I have problems with this one: $\alpha:V \longrightarrow W$ affine $\iff$ $G_\alpha=\{(v,\alpha(v): v\in V)\}$ is ...
1
vote
1answer
116 views

How to get around non-commutativity of matrix multiplication?

I have a problem with a matrix equation/transformation problem which I need solving. I have two transformations $A_1$ and $A_2$, both of which can be expressed as $A_i = R_i \times B_i$, $R_i$ ...
1
vote
1answer
111 views

Affine Subspace Confusion

I'm having some trouble deciphering the wording of a problem. I'm given $V$ a vector space over a field $\mathbb{F}$. Letting $v_1$ and $v_2$ be distinct elements of $V$, define the set $L\subseteq ...
1
vote
1answer
184 views

use homography to rotate around x/y axes

I need to construct a homography out of a 3x3 rotation matrix. I am fundamentally misunderstanding some part of how homographies are constructed. I have been assuming that a homography is ...
1
vote
1answer
266 views

Minimising a matrix equation to find 'best fit' affine matrix

Here is my problem: I have an image divided into segments. Each segment consists of pixels with coordinates (x,y) called vector $v$, each pixel has a length 3 vector RGB called $I(v)$. I want to ...
1
vote
1answer
27 views

linearization of $\log(|x|)$

I am trying to convexify $\log(|x|)$. I think its concave. So I am trying to get an affine upper bound through linearization. But the problem is there are two concave functions because of the absolute ...
1
vote
1answer
30 views

Angle of two planes in $\mathbb E_4$

I have two planes (given in parametric form) in $\mathbb E_4$: $\alpha$: (7,3,5,1) + t(0,0,1,0) + s(3,3,0,1) and $\beta$: (1,5,4,1) + r(0,0,0,-1) + p(2,0,0,1), and I have to find angle between them. I ...
1
vote
0answers
101 views

Tensor product of affine space and algebra

When reading about Quantum Mechanics, I always feel a bit disappointed when physicists consider that (for example) the 3-dimensional position of a particle must be decomposed into 3 coordinates $x, y, ...
1
vote
0answers
50 views

Linear algebra, affine space, and floor function

My question is mostly: is there a name for this kind of things. I am mostly interested by finding book or articles about what follows, but without even a word or a name, it is quite hard to search for ...
1
vote
0answers
37 views

affine translation in direction of a vector

Suppose I have a line segment in 3D-space, having end-points $(a,b)$. I want to translate this segment by $w$ units in the direction specified by 3 angles $\alpha,\beta,\gamma$ with respect to ...
1
vote
1answer
63 views

The graph of a regular function is an algebraic set, and intersection of hypersurfaces is finite?

i have some problems with these exercises, can you give me a hint? Let $f:\mathbb A^n_k\rightarrow\mathbb A^m_k$ be a regular function. If $X\subset\mathbb A^n_k$ is an algebraic set, show that the ...
1
vote
0answers
94 views

Number of vector and affine subspaces of dimension $ k$ of $E$ over $\mathbb{F_q}$

Problem (comments after): Let $\mathbb{F_q}$ be a finite field of cardinal $q$ and $\mathcal{E}$ an affine espace of dimension $n$ directed by the vector space $E$. Show that: ...
1
vote
1answer
133 views

Using absolute coordinates in 2D affine transformation matrix

In my 2D animation program I have a sprite which transformation is described by a 2D affine transformation matrix (SVGMatrix): $$ \begin{bmatrix} a & c & e \\ b & ...
1
vote
0answers
80 views

Distance between two affine lines using determinant of Gramian matrix.

I've a task to find the distance in $E^4$ between: $L = [1,2,-1,4] + \text{lin}((1,2,-1,0))$ and $M = [2,3,1,5] + \text{lin}((2,1,0,2))$ My efforts to find the correct solution: Let ...
1
vote
0answers
81 views

Prove something is affine?

For any subspace $K$ and any point $u$, prove $K+u$ is affine. Or if you have an affine set $V$ and point $u$, then prove $V-u$ is a subspace.
1
vote
0answers
62 views

Separation of Euclidean Space

Consider a finite collection $\mathcal{H}$ of hyperplanes of $\mathbb{R}^n$ that have a common line. Given some $A \subseteq \mathbb{R}^n$ that is homeomorphic to a subset of $\bigcup\mathcal{H}$, ...
1
vote
0answers
284 views

Convexity of affine function.

Can someone help me with a proof that affine function preserves convexity? Given that $f$ is convex, $A$ is in $\mathbb{R}^{M\times N}$ and $b$ is in $\mathbb{R}^m$ then show that $g(x) = f(Ax+b)$ is ...
1
vote
1answer
277 views

Affine subspace iff statement

I cannot find a proof for the following statement, though the statement itself seems common enough: $X$ is an affine subspace of $\mathbb{R}^n \iff \forall a\in X: X - \{a\}$ is a linear subspace. ...
1
vote
2answers
2k views

Definition of an affine subspace

I am reading this introduction to Mechanics and the definition it gives (just after Proposition 1.1.2) for an affine subspace puzzles me. I cite: A subset $B$ of a $\mathbb{R}$-affine space $A$ ...
0
votes
1answer
283 views

Research Paper and Affine Subspace

I was reading a research paper titled Purity and Reid's Theorem by A.Blass and J.Irwin and i have the problem with the explanation of the proof of the first theorem, that is theorem 1.1. In the proof ...
0
votes
2answers
12 views

Number of parameters to specify an affine transformation in n dimensions

In general, how many parameters does it take to specify an affine transformation in $n$ dimensions, and how does one go about proving this? For example, in 2 dimensions it takes 6 parameters, and in ...
0
votes
3answers
84 views

Origin in vector space?

In the wikipedia article about vector space I do not understand this sentence Roughly, affine spaces are vector spaces whose origin is not specified. A vector space does not need an origin. When ...
0
votes
1answer
25 views

Fixpoints of affine transformations

I want to find out all the possibilities what fixpoints of an affine transformation can be in 2-dim vector space. If the transformation is identity, then it is trivial - fixpoints describe the ...
0
votes
1answer
42 views

Affine transformation, if $L_1, L_2 - $ skew lines, $f(L_1), \ f(L_2) $ are parallel, then $f$ is not injective

Could you tell me how to prove that if $f$ is affine transformation, $L_1, L_2 $ are skew lines, $f(L_1), \ f(L_2) $ are parallel, then $f$ is not injective?
0
votes
1answer
69 views

Variety Affine Space

I have the following question which i'm not sure how to work out... $For\ f=6x^2y-xy^2-2y^3+1\ and\ \ h=3x-2y\ \in \mathbb{C}[x,y]$ Show that V(f,h) is empty. What can you say about the ideal ...
0
votes
1answer
123 views

affine set convex set

How to show the following: Let $C$ be a convex subset of $\mathbb R^d$. Then $\operatorname{int} C \neq \emptyset$ if and only if $\operatorname{aff} C = \mathbb R^d$ where $\operatorname{aff} C$ is ...
0
votes
1answer
331 views

Affine transformation matrixes

I could use some advise with the following problem: Lets say there is a cuboid that has two distinguished points - that is one of its vertexes ($A$) and the other one is somewhere on the surface ...
0
votes
1answer
38 views

Formula of signed distance from hyperplane to point

Let $H$ be a hyperplane defined by the points $p_1, p_2, ..., p_n$ and single point $x$ generally out of the hyperplane. Is there any formula to calculate the signed distance between $x$ and $H$? I ...
0
votes
1answer
111 views

Find 2D affine transform matrix given a pair of points

I have the coordinates of two points in an initial 2d coordinate system and the corresponding coordinates in a target system. Is is possible to determine the affine transform matrix from these values? ...
0
votes
1answer
32 views

Relations between an affine space and a topological space

What is the relation between an affine space and a topological space? Is one a specialization of the other? Moreover, what do we call a point in geometry: an element of a topological space or an ...
0
votes
1answer
33 views

Identify a quadric

Could you tell me how to identify a given quadric? Given a conic section, I should find an orthonormal affine frame in $\mathbb{R}^2$ (with standard dot product) in which the equation has a canonical ...
0
votes
1answer
39 views

Direction of traslation of affine movement

I have a doubt about this. We have an affine isometry of an affine space $X$ of dimension 3. Now, we know it's the composition of some movement (reflection, rotation, etc), with a traslation, and we ...
0
votes
1answer
135 views

Affine transformation matrix coefficients

In an affine transformation $x \mapsto Ax+b$, $b$ represents the translation; but what does the matrix $A$ represent exactly? In a 2D example, $A$ is a $2\times 2$ matrix, but what does each term ...
0
votes
2answers
89 views

Get affine transformation matrix from two positions of the object

I have an object in 3d space which is represented by the set of vertices. Then I scale this object, rotate it and translate. After these operations I get the second set of vertices with new ...
0
votes
2answers
31 views

How do you rotate a vector by $90^{\circ}$?

Consider a vector $\vec{OA}$. How will I rotate this vector by $90^{\circ}$ and represent in algebraically?
0
votes
3answers
54 views

Prove, using affine geometry, that in this figure $\Delta DEF$ is always equilateral

Consider the following figure: $\Delta DAC, \Delta CEB, \Delta AFB$ are isosceles. $\angle ADC = \angle CEB = \angle AFB = 120^{\circ}$. Prove that $\Delta DEF$ is equilateral. Now, there is a ...
0
votes
1answer
43 views

Prove for any four points: $|AB|^2 + |CD|^2 -|BC|^2 - |AD|^2 = 2\cdot \vec{AB}\cdot \vec{DB}$

Let $A, B, C, D$ be four points in space. Prove $$|AB|^2 + |CD|^2 -|BC|^2 - |AD|^2 = 2\cdot \vec{AC}\cdot \vec{DB}$$ Clearly, $$AB = B-A$$ $$CD = D-C$$ $$AD = D-A$$ If I directly substitute the ...
0
votes
1answer
63 views

alternative definition of Affine map

Let $f:X\longrightarrow Y$ be a function on real vector spaces (note that $X,Y$ have arbitrary dimensions). If $T(x)=f(x)-f(0)$ is linear, $f$ is called an affine map. Prove that $f$ is affine if ...
0
votes
1answer
34 views

Effect of Moving within the Feasible Region

$f:\mathbb{R}^n\rightarrow\mathbb{R}$ is a concave function with local maximum at $\mathbf{x}^*$ in a convex, closed feasible set $\mathcal{F}\subset\mathbb{R}^n$. Now consider a suboptimal point ...
0
votes
3answers
166 views

Equation of a line in homogenous coordinates given 2 points in affine coordinates

So if I have 2 points $A$ and $B$ such that $F(A) = (1; a, a^3)$, and $F(B) = (1; b, b^3)$. how do I find the equation of this line in homogeneous coordinates? So I know how to get a line the ...
0
votes
1answer
111 views

Cross-ratio projective geometry

I have 4 points $P_0=[1:2], P_1=[3:4], P_2=[5:6], P_3=[7,8]$ in $\mathbb KP^1$ and would like to evaluate the cross-ratio. It is given by the following: $\pi:\mathbb KP^1\rightarrow G$ is the unique ...