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
450 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 ...
1
vote
2answers
33 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?
1
vote
1answer
37 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
302 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
118 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
125 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
135 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
333 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
69 views

Confusion regarding convex and affine set

I am a bit confused regarding convex and affine set. When they mention set, does it mean the set consisting of all the points belonging to the line or shape respectively?
1
vote
1answer
409 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
0answers
50 views

Show that the singular locus $\Sigma$ of an affine variety $V$ contains no irreducible component of $V$.

This is a problem from Ideals, Varieties, and Algorithms by Cox et. al. Let $V=V_1\cup \cdots \cup V_r$ be a decomposition of variety into its irreducible components. Let $\Sigma$ be the ...
1
vote
0answers
46 views

What is the affine space and what is it for?

These two topics already exist: (preface: got in contact with affine space through computer graphics subject in university) What are affine spaces for? What are differences between affine space and ...
1
vote
0answers
17 views

Relationship between affine functions and affine sets?

A function $f: \mathbf{R}^n \to \mathbf{R}^m$ is affine if it is a sum of a linear function and a constant ($f(x) = Ax + b$). A set $S \subseteq \mathbf{R}^n$ is affine if for any $x_1,x_2 \in S$ and ...
1
vote
0answers
49 views

Why affine variety not vector space variety?

I am new to algebraic geometry. A basic question baffles me: why is the setting the affine space not the vector space?
1
vote
0answers
30 views

The hexagon in Pappus' theorem and its relation to the more usual form

I am reading about geometry. Pappus' affine great (compared to a weaker small) theorem is introduced as follows: If the angles of a hexagon lie alternatingly on two intersecting straight lines and ...
1
vote
1answer
37 views

Rigorous definition of “oriented line” in an Euclidean affine space

Let $\mathcal{A}^n$ be an affine space of dimension $n$. For example, let's take $n=3$. A line $\mathcal{s}$ of $\mathcal{A}^3$ is an affine subspace of dimension $1$, that is: $\mathcal{s}=\{P ...
1
vote
0answers
32 views

Explanation of $\ker (\bar{m}-\bar{id})^2 \cap \{x_0=1\}$

Let $m$ be an isometry on $\mathbb{R}^2$ which is a composition of a reflection and a translation. The way to find the axis of the isomtry is by solving: $$\ker (\bar{m}-\bar{id})^2 \cap \{x_0=1\}$$ ...
1
vote
1answer
27 views

why should add one column using Moore-Penrose pseudoinverse

I have a code from someone that I dont understand: This code is written in matlab and the function is to estimate linear geometric transformation [1] of a matrix using pinv. The size of first matrix ...
1
vote
1answer
38 views

Show that the variety $V(I(X))=X$

In the ring $R=K[x_1,...,x_n]$, the variety of an ideal is defined as $V(I)=\{(a_1,...,a_n)\in K^n|f(a_1,...,a_n)=0, \space\forall f\in I\}$ The ideal of a variety is defined as $I(V)=\{f\in ...
1
vote
0answers
28 views

Octonions - affine space

I'm writing a project on Cayley's algebra. I have some topics which I have to follow and I've managed to solve most of them,except 2. I have written about their rule of multiplication,together with ...
1
vote
0answers
56 views

transform orthonormal coordinate system to another

I have one orthonormal coordinate system ABC that it's origin is the point p0. I would like to transform it to another orthonormal coordinate system A'B'C', that it's origin is p1. I know how to ...
1
vote
0answers
66 views

Proving Pappus' theorem in a finite Affine Geometry

Let $\mathcal{A}$ be an affine plane with a finite amount of points on each line. Suppose that Desargues' theorem holds in $\mathcal{A}$. Then it is known that we can associate a division ring ...
1
vote
0answers
22 views

Representation of Affine Maps

I'm just looking for a reference or the proof that every affine map $f:V\rightarrow W$ between two possible different linear spaces $V$ and $W$: $$ f[\lambda x+ (1-\lambda) y]=\lambda ...
1
vote
0answers
22 views

Non-affinely parametrized geodesics

Consider a non-affinely parameterised geodesic, i.e., a geodesic whose tangent vector field obeys $\nabla_X X = fX$ for some function $f$. Prove that one may reparameterise the geodesic so the tangent ...
1
vote
0answers
32 views

Vanishing points from three collinear points

I would like to find the 2D vanishing point from a three collinear points as is shown in "Multiple View Geometry in Computer Vision" Example 2.19 (see here). What I did so far: 1 - I've extracted ...
1
vote
0answers
33 views

Do affine spaces have coordinate transformations?

I asked a question on Physics SE and there seemed to be some confusion as to whether affine spaces could have coordinate transformations. Specifically, the particular space I was working with was ...
1
vote
0answers
25 views

Determining if a set is projective or not

In $\mathbb{P}^3$ define the following sets: $$X=\{w_0w_1^2=w_2^2w_3-w_3^3\}\\Y_1=\{y_3=0\}\\Y_2=\{\sum_{i=0}^3 w_i=0\}\\Y_3=\{w_0+w_1+w_2+2w_3=0\}$$ Does the set $Z=X\cap Y_3\setminus((X\cap ...
1
vote
1answer
83 views

Affine transformation invariants and lie groups

Is it possible to generate geometric properties which are invariant under affine transformations? I'm trying to learn about lie groups and lie algebras with the example of the lie group of affine ...
1
vote
0answers
83 views

Intersections of convex hulls

Given a set of $n$ points $\{A_1, \ldots , A_n\}$ of the plane and every possible triangle formed with $3$ points $A$, I would like to describe the intersections fo theses triangles. By intersection, ...
1
vote
0answers
45 views

What are the prerequisites to understand Affine Invariant Fourier Descriptors?

I need to implement Affine Invariant Fourier Descriptors on matlab, the objective is to compare two objects one reference and other transformed by affine transformation for recognition, my problem is ...
1
vote
0answers
746 views

What are sliding vectors mathematically?

What is the mathematical definition of sliding vectors and their operations, as used in mechanics? What kind of mathematical structure do they form? Does the operation of constructing the "space" of ...
1
vote
0answers
37 views

Linearizable reductive group action.

Let $k$ be a 0 characteristic field, and $G$ a reductive group in $GA_2(k)$ (the group of automorphisms of k[x,y] as k-algebra). How is it possible to deduce that $G$ is conjugated to a subgroup of ...
1
vote
0answers
57 views

A confusion regarding Affine spaces

Take an Affine space $\Bbb{A}$ over the field $K$. How would you determine the points satisfying any polynomial $f(x)$? If there is no fixed origin, points can be given names with reference to ANY ...
1
vote
1answer
44 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
32 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
1answer
173 views

Why a 2D Affine Transformation matrix is 3 by 3

The matrix which I get for Scaling , Shearing and Rotation are follows: Scale: Shear Rotation Why do we need Homogenous Co-ordinate to get the transformation matrix as listed below? (need a ...
1
vote
1answer
102 views

Show existence of linear transformation from subset to subspace embedded in $\mathbb{F}_2^n$

Assume I have a subset $X$ (not necessarily a subspace) of $\mathbb{F}_2^n$, of size $\leq 2^{n-1}$. It seems likely to me that there should exist a bijective linear transformation taking $X$ to a ...
1
vote
0answers
64 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
57 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
136 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
161 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
322 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
264 views

Multi-affine function

Suppose I have a three-variable function $f(x_1, x_2, x_3)$, $f : \mathbb{R}^3 \to \mathbb{R}$. If it is linear for $x_1$, $x_2$ and $x_3$ we can say it has the form $f(x_1, x_2, x_3) = c_1x_1 + ...
1
vote
0answers
111 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
108 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
70 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
1k 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 ...
0
votes
1answer
72 views

Is $\mathbb{A}^1\times\mathbb{P}^1\cong\mathbb{P}^1\times\mathbb{P}^1$?

Just curious, is it true that $\mathbb{A}^1\times\mathbb{P}^1\cong\mathbb{P}^1\times\mathbb{P}^1$? Here I'm writing $\mathbb{A}^1$ is affine space, and $\mathbb{P}^1$ projective space, both over an ...
0
votes
1answer
309 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
115 views

An irreducible quadric hypersurface is rational?

Here quadric hypersurface just means it is generated by a polynomial with degree 2. I can guess the idea is to project the hypersurface from a fixed point P, to some plane by drawing a line through ...