Projective geometry is closely related to perspective geometry. These types of geometry originated with artists around the 14th century.

learn more… | top users | synonyms

2
votes
1answer
18 views

If $p_{1},\ldots,p_{r}\in\mathbb{P}^{n}$ are in $d$-general position, then they are in $1$-general position.

Let $\mathcal{L}_{d}^{n}$ be the $\binom{d+n}{n}-1$ dimensional projective space of hypersurfaces of degree $d$ in $\mathbb{P}^{n}$ and $p_{1},\ldots,p_{r}\in\mathbb{P}^{n}$. We denote by ...
3
votes
1answer
336 views

fixed point projective geometry

I am thinking about the following: Let $\sigma:\mathbb C P^n\rightarrow\mathbb C P^n$ be a projectivity with $\sigma\circ\sigma=id_{\mathbb C P^n}$. I define the set of all fix points by ...
2
votes
1answer
24 views

Projected Area of Circle onto the Side of a Cylinder

I have encountered a problem that requires me to find the projected area of a beam of light (circular cross-section, with radius R1) vertically onto the side of a cylinder with R2 as its ...
3
votes
0answers
37 views
+50

Literature request: Method for constructing projective manifolds

Currently (background: I'm preparing to write a thesis in mathematical physics) I'm quite often encountering a certain method for constructing projective manifolds, where the space is specified by ...
1
vote
0answers
11 views

Calculate the plane angle from 2D plane

I am analysing a squared plane from a perfect cube. This plane is distorted by the perspective view of a camera. I would like to know ask please, some approaches of how could I get to know the ...
0
votes
1answer
37 views

How to think Grassmannian as a projective variety?

I'm just looking for some explanation for the grassmannian as a projective variety and plücker embedding.
0
votes
0answers
19 views

Camera calibration from the image of the absolute conic

It's known that once the image of the absolute conic $\omega$ is identified in an image then one can find calibration matrix $K$. \begin{align*} \omega^{-1} = KK^T \end{align*} Given the images of the ...
3
votes
1answer
75 views

The subspace sum of a point and a closed subspace is closed

In projective geometry, a polarity is a map $\ell\mapsto\ell^\perp$ on the subspaces of $\Bbb P$ satisfying the axioms: $\Bbb P^\perp=0$ $\ell\subseteq m\implies m^\perp\subseteq\ell^\perp$ If $P$ ...
3
votes
0answers
44 views

Is the union of two projective curves in the projective plane a projective curve?

As the title suggests, is the union of two projective curves in the projective plane a projective curve? Any help would be appreciated, thanks.
0
votes
2answers
25 views

lines through a point of the projective plane

I'm having difficulty understanding a particular example of Mumford's "Red Book". In exemple D, first chapter, he considers the set of lines passing through a point of $\mathbb{P}_2$ (do we call it ...
2
votes
0answers
11 views

Scaling axes to reflect perspective plane of an image.

Suppose I have an image which contains a road in it, and I want to be able to pinpoint the locations of cars on that road using pre-calibrated distances. How to do that using formulas that map pixel ...
0
votes
1answer
30 views

Conditions of $f=a+bx+cz+dx^2+exz+fz^2+…$ such that its tangent line is $z=0$ and inflection point is at the origin.

Let $x,z$ be coordinates on $k^2$ and $f\in k[x,z]$; write $f$ as $$f=a+bx+cz+dx^2+exz+fz^2+...$$ Write down the conditions in terms of $a,b,c,...$ such that (a) $P=(0,0)\in C: (f=0)$; (b) the ...
1
vote
1answer
36 views

Find the image of circular points by fitting conics

According to Single Axis Geometry by Fitting Conics by Jiang et al., one can compute the image of the circular points in a picture from conics which are the images of circles. Fit two conics to ...
1
vote
2answers
22 views

Why cannot the homogeneous coodinates be zero?

Given a point (x, y) on the Euclidean plane, for any non-zero real number Z, the triple (xZ, yZ, Z) is called a set of homogeneous coordinates for the point. Why can't Z be zero?
7
votes
2answers
88 views

How can hypersurfaces “know” the degree of their defining polynomials?

I'm currently trying to learn some complex and projective geometry. There is one issue bugging me again and again, from different perspectives, and I just can't get my head around it. One incarnation ...
1
vote
1answer
20 views

Question in geometry on Fano Plane

Hello friends I have a geometry homework question asking me to do the following: I need to prove all projective planes of order two are isomorphic by showing they are all isomorphic to the Fano Plane. ...
0
votes
0answers
9 views

Generalizing all singular cubic curves in the projective tropical plane with genus zero

How can I qualitatively classify all these curves under the condition that they must all be fully supported with no double lines touching infinity?
1
vote
2answers
103 views

Tangential space to the rational normal curve

Exercise 15.5 (Harris, Algebraic Geometry: A First Course): Describe the tangential surface to the twisted cubic curve $C \subset \mathbb P^3$. In particular, show that it is a quartic surface. What ...
1
vote
1answer
34 views

How to calculate true lengths from perspective projection?

Suppose that I have a single point perspective drawing like . and suppose also that I know some of the real horizontal distances and distances along lines converging to vanishing point. E.g if i know ...
1
vote
0answers
52 views

Is projective space really a moduli space for lines through the origin?

The Wikipedia page for Moduli spaces states that real projective space $\mathbb{RP}^n$ is a moduli space which parametrizes the space of lines in $\mathbb R^{n+1}$ passing through the origin. ...
1
vote
0answers
18 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 ...
3
votes
1answer
84 views

Is $\langle(26543),(34)(56),(12)(3654)\rangle $ isomorphic to $A_6$?

My question is the one in the title. Is $\langle(26543),(34)(56),(12)(3654)\rangle $ isomorphic to $A_6$?
0
votes
1answer
45 views

Camera Calibration

In a camera model, in order to find the camera calibration, how do we find the the parameters from the vector a in the equation $Ca=0$? I know that the camera matrix to convert a world point to image ...
0
votes
1answer
30 views

What do the conics $x^2=-1$ and $0=1$ correspond to in $P_{\mathbb{R}}^2$?

I read this in Reid's book Undergraduate Algebraic Geometry. I don't even know whether my question is worded correctly. It says "In a suitable coordinate system, any conic in $P_{\mathbb{R}}^2$ is one ...
1
vote
1answer
41 views

Lines on a singular cubic surface

How many lines the cubic surfaces $xyz=w^3 \in \mathbb P^3$ has? I found only three: $x=w=0$, $y=w=0$ and $z=w=0$. How to prove that there are no other lines? Also, this surface is singular, is it ...
0
votes
1answer
105 views

poles and zeros of function field of $\mathbb{P}^1$.

In which condition: an element of function field of $\mathbb{P}^1$ has zero or pole or no-zero&no-pole. I am thinking that: since $\mathbb{P}^1$ and $\mathbb{A}^1$ is birrationally equivalent ...
1
vote
0answers
24 views

Connection between Chladni Plates and Projective Geometry?

Does anybody know of a connection between Chladni Plates and Projective Geometry? Any published research on the subject? I am interested to know if Chladni Plates (or surfaces) can be ...
0
votes
0answers
10 views

Pascal and Brianchon's theorems for hyperbolic paraboloid

How would one formulate a version of these two theorems for the hyperbolic paraboloid, and what would be a simple proof? How are the classical formulations of these theorems related to this quadric?
0
votes
0answers
7 views

Prove quadrics are rational algebraic surfaces.

I have to prove that an irreducible quadric in RP^3 is a rational algebraic surface, ie, the homogeneous coordinates of any point can be expressed as polynomials in two variables. My idea was to do ...
0
votes
1answer
13 views

Existence of a projective transformation.

Suppose we have nine distinct points of $\mathbb{P}^2$ not all on the same line, and such that any straight line passing through two of these points also passes through a third. I want to show there ...
0
votes
1answer
10 views

General versions for quadrics of Pascal and Brianchon theorems

I am looking for a generalization to quadrics (with proofs) of Pascal's and Brianchon's theorems. It´s for Three dimensional analytical geometry. I would be very thankful if you could point me ...
0
votes
0answers
14 views

Quadric generalizations of Pascal and Brianchon's theorems

I am looking for a generalization to quadrics (with proofs) of Pascal's and Brianchon's theorems. It´s for Three dimensional analytical geometry. I would be very thankful if you could point me ...
2
votes
0answers
109 views

If $p_{1},…,p_{r}\in\mathbb{P}^{n}$ are in general position, then $p_{1},…,p_{r-1}$ are in general position.

Let $p_{1},...,p_{r}\in\mathbb{P}^{n}=\mathbb{P}^{n}_{K}$. I have to prove that, if $p_{1},...,p_{r}$ are in general position , then $p_{1},...,p_{r-1}$ are in general position, but with a special ...
1
vote
1answer
28 views

Slice, projection, contour: A terminology question.

Consider a multivariate function, say $y=f(x_1,x_2,\dots,x_n)$, and suppose that $z=f(x_1,x_2,\dots,x_{n-1},g(x_1,x_2,\dots,x_{n-1}))$. What do we call $z$ with respect to $y$? Projection, level set, ...
0
votes
0answers
25 views

What seems to be the standard notation for Study quadric?

The study quadric is defined on $\mathbb RP^7$ with the following homogeneous quadric: $$ a_0b_0+a_1b_1+a_2b_2+a_3b_3=0,~(a_0:a_1:a_2:a_3:b_0:b_1:b_2:b_3)\in\mathbb RP^7 $$ Would it have a standard ...
1
vote
1answer
32 views

Calculate area with cross ratio

Suppose that I am given a drawing of a table, on which a book lies in one of the corners. The measures of the book are known, how can I find the measures of the table using cross ratios?
0
votes
0answers
9 views

Parametrization of a Conic to Compute Multiplicity of Intersection

Given the two curves $C: y=x^2$ and $D: y=2x^2$ how can I use the parametrization to show that the multiplicity at (0,0) is 2?
0
votes
1answer
41 views

Question about $\mathbb{P^1}$ - without loss of generality doubt

I want to show that: Given three distinct points $P_1,P_2,P_3 \in \mathbb{P}^1$ and three distinct points $Q_1,Q_2,Q_3 \in \mathbb{P}^1$, there is a unique isomorphism $f: \mathbb{P}^1 \rightarrow ...
1
vote
0answers
27 views

Construct sum of points on projective line

In a course in Geometry we where asked to geometrically construct the sum of two points $x$ and $y$ on a projective line by help of "the theorem on complete quadrilaterals". This theorem (as stated in ...
0
votes
0answers
49 views

Gluing construction of the projective space scheme.

When constructing the projective space scheme $\mathbb{P}_R^n$ for a ring $R$, we may take the subrings $$ A_i = R\left[\tfrac{X_0}{X_i}, \ldots, \widehat{\tfrac{X_i}{X_i}}, \ldots, ...
3
votes
2answers
38 views

Basic Projective Geometry Question

Can someone help me to see why any two points in $\mathbb P^1$ are linearly equivalent as divisors? If this is true, how come two points on a smooth projective cubic curve are not linearly ...
0
votes
1answer
30 views

Calculating points of intersection and their multiplicities

p=(0,0), C: y=x^2, D: y=2x^2. Using Bezout's theorem and symmetries, show that ip(C,D)=2. Show this one more time using a parametrization of the conic. First off, Bezout's Theorem says there are 4 ...
1
vote
1answer
30 views

Why $f$ has to be invertible?

Let $V,W$ be two $(n+1)$-dim. vector spaces. Proposition: Let $P(V), P(W)$ be $n$-dim. projective spaces. $\tau \colon P(V) \to P(W)$ is a projective transformation, if it comes from an ...
0
votes
1answer
42 views

What this notation R^3 ∖ (0, 0, 0) means?

I was reading a "Projective Space" article on Wikipedia, when I came across this line "equivalent definition is the set of equivalence classes of $\mathbb R^3 \setminus (0, 0, 0),$ i.e. 3-space ...
12
votes
1answer
181 views

History of the point at infinity?

I'm curious to learn more about the history of the introduction of the concept of the point at infinity into mathematics. The sum of my knowledge of the historical aspect is from this paragraph (which ...
5
votes
1answer
86 views

Conic by three points and two tangent lines

With the exception of degenerate situations, a conic is uniquely determined by five points lying on it. Likewise, five lines tangent to a conic uniquely define that conic. With four points and one ...
0
votes
0answers
70 views

Is there a projective metric on a projective space induced by a p-norm?

A projective metric on a projective space is a metric on the underlying set such that shortest path with respect to this metric are parts of entire projective straight lines. The 2-norm induces the ...
3
votes
2answers
102 views

Theory and problems book in euclidean, affine, and projective geometry

Could you recommend a rich, clear, and complete theory book on euclidean, affine and projective spaces (i.e., "geometry"); and an interesting exercise book full of non-trivial problems and exercises?
0
votes
1answer
36 views

Why 9 points determine a quadric

The books I have state this redult as obvious from the definitions, but it is not clear to me why this is so.
0
votes
1answer
38 views

$d+1$ distinct points of a rational normal curve in $\mathbb{P}^{d}$ are linearly independent

Let $X\subset\mathbb{P}^{d}$ be a rational normal curve. After a change of coordinates, it is the image of the map: $\nu:\mathbb{P}^{1}\rightarrow\mathbb{P}^{d}, (a_{0}:a_{1})\mapsto ...