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
543 views

What is the relation between complex numbers and transformation matrices?

I read addition and multiplication with complex numbers can be represented as translation and rotation in a 2D plane. I am using this to move around objects on the screen. I have an offset number, ...
1
vote
1answer
226 views

This is the most difficult question I could get without using mass point geometry

In triangle ABC, points D and E are on sides BC and CA respectively, and points F and G are on side AB with G between F and B. BE intersects CF at point O_1 and BE intersects DG at point O_2. If FG ...
1
vote
1answer
43 views

Proving $\gcd(f_i)=1\Rightarrow \mathbb{A}_\mathbb{C}^n\setminus \{f_i\}$ is not affine

I need to prove the following lemma: Lemma: Let $f_i\in \mathbb{C}[x_1,\dots,x_m]$ s.t. $\gcd(f_1,f_2,\dots,f_n)=1\quad(1<n\le m)$. Prove that the variety ...
1
vote
1answer
15 views

Showing space closed under affine combinations is translation of vector space

I'm struggling to reconcile two different definitions of an affine space. The definition in my course notes is: An affine space in $\mathbb{R}^n$ is a non-empty subset closed under affine ...
1
vote
1answer
42 views

The maximum of several affine functions is a polyhedral function

A function $f: \mathbb{R}^n \mapsto (-\infty,\infty]$ is polyhedral if its epigraph is a polyhedral, i.e. $$\text{epi}f=\{(x,t)\in \mathbb{R}^{n+1} | \ \ C\left( \begin{matrix} x\\ t \end{matrix} ...
1
vote
1answer
31 views

How to compute the normal form of this geometric object?

Given this quadric: $x_1^2+5x_2^2+9x_3^2+4x_1x_2+2x_1x_3+10x_2x_3-2x_3=2$ Maple screenshots: How to put it into the normal form $\Large\frac{x_1^2}{a^2}+\frac{x_2^2}{b^2}-\frac{x_3^2}{c^2}=1$ ...
1
vote
1answer
31 views

The projective space of all lines through the origin

I have a question to the following example: Assume that $\mathbb{A}_2$ is an affine plane over a field $\mathbb{K}$, and we have fixed affine coordinates $x, y$ on $\mathbb{A}_2$. Let $\mathbb{P}$ be ...
1
vote
1answer
16 views

Question about affine isometric action

Recently, I read the book Kazhdan's Property (T). There is a lemma on the page 75 (Lemma 2.2.1) as following: Lemma. Let $\pi$ be an orthogonal representation of $G$ on $H^0$. For a mapping $\alpha: ...
1
vote
1answer
66 views

Vector bundles on $\mathbb{A}^1_k$ with doubled origin?

One of the most common examples of gluing affine lines is the affine line $\mathbb{A}^1_k$ with doubled origin. Out of curiousity, is there a known classfication of the vector bundles on this space?
1
vote
1answer
39 views

Showing affinity of a function - proof help

Let $V$ be the set of sequences whose terms are contained in $\mathbb{R}^n . V$ is the set of functions $x(·) : N → \mathbb{R}^n $ which we denote as $\{x_n\}_n \subset \mathbb{R}^n$. $V$ is a vector ...
1
vote
1answer
45 views

The number of $(d-1)$-faces in a $d$-polytope is at least $(d+1)$

I have to try to prove the following: Let $V = {v_1,...,v_n} \subset \mathbb{R}^d$ be a point configuration affinely spanning $\mathbb{R}$ (i.e., $\operatorname{aff}(V) = \mathbb{R}^d)$. Let $H$ be ...
1
vote
1answer
52 views

A set $S\subseteq\mathbb{A}^n$ is quasi-affine iff $S=Z\setminus V$ for closed $Z$ and $U$?

I'm confused by a remark in note I'm reading. It essentially says, Let $S\subseteq\mathbb{A}^n$ be a subset of affine $n$-space over an algebraically closed field. It's clear that $S$ is ...
1
vote
1answer
61 views

Distinction between point and vector outside of US ( particularly Germany and Eastern Europe )

There was a long discussion in a forum I visit in where a calculus teacher was being critical of Stewarts Calculous for making a distinction between points and vectors. He argued that no such ...
1
vote
1answer
62 views

Application of Desargues' theorem for constructions

I found this interesting document (german) on the internet. On page 8 it says: "Draw a line segment between two given points only using compass and ruler, while the distance between the two points is ...
1
vote
1answer
22 views

Alternative characterization of a finite dimensional affine set

As the definition in the S. Boyd's textbook: My question is the following representation: What is the relationship between this representation and the definition above it? EX: sum of elements ...
1
vote
1answer
1k views

Affine Transformation matrix for mapping a triangle to another

I'm trying to write a function in Matlab that will give me a matrix T that can be used to multiply points in homogeneous coordinates. This is achieved my mapping a ...
1
vote
1answer
33 views

How do we define affine combinations in affine spaces?

Suppose we're given a field $A$ and a vector space $X$ over it. Then an affine space over that is a set $P$ (of "points") equipped with an action $$+ : X \times P \rightarrow P$$ such that $0_X+p ...
1
vote
1answer
372 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
43 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
130 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
335 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
1answer
34 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
482 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
230 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
113 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
44 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
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
121 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
282 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
62 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
364 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
19 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
23 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
26 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
33 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
22 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
35 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
25 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
15 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
17 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
27 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
29 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
24 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
0answers
79 views

Decomposition of 4x4 or larger affine transformation matrix to individual variables per degree of freedom.

There are a couple of problems and solutions where affine matrices are decomposed into their seperate tranformations. However they are all for the 2D case and I`m finding it difficult to generalise it ...
1
vote
1answer
55 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
47 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
40 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
35 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
54 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
39 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 ...