Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 61536

Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his textbook on geometry: the Elements. Euclid's method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions (theorems) from these.

13 votes

Is every connected subgroup of a Euclidean space closed?

A small amendment of the result of Hidehiko mentioned in the answer of Moishe Kohan: Theorem 2.2 in this paper implies that every continuum-connected subgroup of $\mathbb R^n$ is a (closed) linear sub …
Taras Banakh's user avatar
  • 41.8k
12 votes
1 answer
443 views

Is each cover of the plane by lines minimizable?

A cover $\mathcal C$ of a set $X$ by subsets of $X$ is called $\bullet$ minimal if for every $C\in\mathcal C$ the family $\mathcal C\setminus\{C\}$ is not a cover of $X$; $\bullet$ minimizable if $\ …
Taras Banakh's user avatar
  • 41.8k
5 votes
1 answer
252 views

Is the action of $SO(n)$ on the sphere $S^{n-1}$ ballanced?

A subset $B$ of a group $G$ is called balanced if $gBg^{-1}=B$ for all $g\in G$. An action of a group $G$ on a metric space $X$ is called ballanced if for each non-empty balanced subset $B\subset G$ …
Taras Banakh's user avatar
  • 41.8k
0 votes
Accepted

Another implication of the Affine Desargues Axiom

Just to close this question as answered, I will give a sketch of the proof of the parallelity of the lines $\overline{zc}$ and $\overline{yb}$. As was noticed by @AlexRavsky, it suffices to prove that …
Taras Banakh's user avatar
  • 41.8k
3 votes
1 answer
210 views

Another implication of the Affine Desargues Axiom

Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms: Any distinct points $x,y\ …
Taras Banakh's user avatar
  • 41.8k
8 votes
1 answer
275 views

Almost convex combinations in $\mathbb R^n$

Working on some problems in the $C_p$-theory I discovered the following simple but amazing Fact. For any subset $A\subset \mathbb R^n$, non-zero vector $a\in \bar A\subset\mathbb R^n$ and $\varepsil …
Taras Banakh's user avatar
  • 41.8k
11 votes
1 answer
221 views

The set of boundary vectors of compact convex body has empty interior

Let $K$ be a compact convex body in the Euclidean space $\mathbb R^n$ and $\partial K$ be its topological boundary in $\mathbb R^n$. Definition. A vector $\mathbf v\in\mathbb R^n$ is called $K$-bounda …
Taras Banakh's user avatar
  • 41.8k
1 vote

The set of boundary vectors of compact convex body has empty interior

Here is a proof of Conjecture in dimension $n=3$. Let $K$ be a compact convex body in $\mathbb R^3$. For $k\le 3$, let $Gr(k,3)$ be the space of $k$-dimensional linear subspaces of $\mathbb R^3$. So, …
Taras Banakh's user avatar
  • 41.8k
6 votes
1 answer
366 views

Desargues ten point configuration $D_{10}$ in LaTeX

I want to draw the Desargues configuration $10_3$ in LaTeX using the standard picture environment, which allows only lines with the slopes $n:m$ where $\max\{|n|,|m|\}\le 6$. Is it possible? If not, t …
Taras Banakh's user avatar
  • 41.8k
10 votes
1 answer
514 views

A projective plane in the Euclidean plane

Problem. Is there a subset $X$ in the Euclidean plane such that $X$ is not contained in a line and for any points $a,b,c,d\in X$ with $a\ne b$ and $c\ne d$, the intersection $X\cap\overline{ab}$ is …
Taras Banakh's user avatar
  • 41.8k
11 votes
3 answers
553 views

Was the small Desargues Theorem known to ancient Greeks?

My question concerns the classical Desargues Theorem and its simplest version The small Desargues Theorem: Let $A$, $B$, $C$ be three distinct parallel lines and $a,a'\in A$, $b,b'\in B$, $c,c'\in C$ …
Taras Banakh's user avatar
  • 41.8k
2 votes

Was the small Desargues Theorem known to ancient Greeks?

In fact, I asked this question hoping to find some appropriate name that can be legally used for naming affine spaces satisfying the small Desargues Theorem. Now I have learned that in Projective Geom …
Taras Banakh's user avatar
  • 41.8k
16 votes
1 answer
587 views

A textbook on foundations of geometry in spirit of Tarski

I am interested in a textbook for studying (and teaching) foundations of geometry in the spirit of Tarski. I know that there is a rather old German book [W. Schwabhäuser, W. Szmielew, A. Tarski, Metam …
Taras Banakh's user avatar
  • 41.8k