Intereting Posts

Is a totally ordered set well-ordered, provided that its countable subsets are?
Large initial solutions to $x^3+y^3 = Nz^3$?
Find all integers satisfying $m^2=n_1^2+n_1n_2+n_2^2$
Laplace, Legendre, Fourier, Hankel, Mellin, Hilbert, Borel, Z…: unified treatment of transforms?
Good book for mathematical modeling
Equality of triangle inequality in complex numbers
${a_n}$ series of Fibonacci numbers. $f(x)=\sum_{0}^{\infty}a_nx^n$, show that in the convergence radius: $f(x)= \frac{1}{1-x-x^2}$
Factoring $ac$ to factor $ax^2+bx+c$
Convolution of two Gaussians is a Gaussian
N balls having M different colors in a box, how many times do I need to pick to get one particular color?
Prove that $\operatorname{rank}(A) + \operatorname{rank}(B) \ge \operatorname{rank}(A + B)$
Prove Parseval Identity for $f \in C(\Bbb T) 2\pi$ periodic continuous functions
Need a counter example for cycle in a graph
interesting square of log sin integral
Euler's formula for connected planar graphs

Let $L$ denote the set of all lines in the Euclidean plane $\Bbb R^2$. We say that two lines $L$ and $M$ are parallel if either $L = M$ or $L$ and $M$ have no points in common.

Using Euclid’s Parallel Postulate prove that parallelism is an equivalence relation on the set $L$.

I need some help determining if I have the right idea about this.

- Showing that the only units in $\mathbb{Z}$ are $1,\, -1, \, i, \, -i$?
- Irreducible $f(x) \in F$ of prime degree, $E/F$ finite extension, $p \mid $.
- Character table of the non-abelian group of order 21
- Application of Polya's Enumeration Theorem on small cases examples
- How a group represents the passage of time?
- Directly indecomposable rings

$L=L$ which means that $L$ is parallel to itself. So this is reflexive.

Suppose we have $L || M$. Then Either $L=M$ or $L$ and $M$ share no points. So Then $M=L$ or $M$ and $L$ share no points. Then $M||L$. So this is symmetric.

Suppose we have $L || M$ and $M || N$. So then either $L=M$ or $L$ and $M$ share no points and either $M=N$ or $M$ and $N$ share no points. So we have that either $L=N$ or $L$ and $N$ share no points. So $L || N$. So then this is transitive.

So from all of this, parallelism is an equivalence relation. I’m not sure if this is correct or not. Any help would be appreciated.

- Find a $2$-Sylow subgroup of $\mathrm{GL}_3(F_7)$
- Spectrum of $\mathbb{Z}^\mathbb{N}$
- What does $b_i\mid b_{i+1}$ mean in this context?
- In a ring homomorphism we always have $f(1)=1$?
- Showing that $x^n -2$ is irreducible in $\mathbb{Q}$
- Preservation of ideals in localized rings
- Finding Galois group of $K=\Bbb{Q}(\omega,\sqrt2)$, showing that $K=\Bbb{Q}(\omega\sqrt2)$, and finding $\operatorname{min}(\omega\sqrt2,\Bbb{Q})$
- How to find roots of $X^5 - 1$?
- How does the determinant change with respect to a base change?
- Prime which is not irreducible in non-commutative ring with unity without zero divisors

Your reasoning looks good. It might help to note explicitly that you are using symmetry of these two *other* relations, “$=$” and “share no points”, to conclude, for example:

$$L = M \implies M = L$$

and

$$\text{$L$ and $M$ share no points} \implies \text{$M$ and $L$ share no points}$$

ditto with reflexivity, transitivity.

In fact, these relations are both equivalence relations, and your proof is an expression of the fact that you can form a new equivalence relation from two old equivalence relations by joining them together with “or”.

But that’s a tangent. The primary benefit in being really pedantic and explicit about what facts you are using in these sorts of proofs, IMO, is the confidence boost.

- Last digit of a number $x^m$
- Defining the multidimensional Riemann Integral as a limit of certain sums
- Starting digits of $2^n$.
- Is there a garden of derivatives?
- Hermite's solution of the general quintic in terms of theta functions
- Derivative and Antiderivative operators in Hoffman Kunze
- Does a non-empty locally closed subset of a $k$-scheme of finite type always contain a closed point?
- What is wrong with this derivation of $\frac{d}{dx}x^2$?
- Complex power of a complex number
- Finitely generated flat modules that are not projective
- Show that $f$ is identically zero if $|f(x)|\leq\int_0^xf(t)dt$
- Raising a square matrix to a negative half power
- Function example? Continuous everywhere, differentiable nowhere
- Subgroups of $\Bbb{R}^n$ that are closed and discrete
- Irrational numbers to the power of other irrational numbers: A beautiful proof question