# Tagged Questions

36 views

### Let $x\in \mathbb{R}$ and $z\in\mathbb{C}$. And define equality ($x=z$) iff $x=(0,x)$. Is this equality well defined?

Let $x\in \mathbb{R}$ and $z\in\mathbb{C}$. And define equality ($x=z$) iff $x=(0,x)$. Is this equality well defined ? Okay. It is easily shown that something goes wrong if you define equality in ...
36 views

### Is a relation$R=\{(a,a):a\in I\}$ said to be reflexive, symmetric and transitive?

Consider a relation $R=\{(a,a): a\in A\}$ where $A=\{1,2,3\}$. i.e $R=\{(1,1),(2,2),(3,3)\}$ This clearly reflexive but is it necessary that all such relations are necessary to be symmetric and ...
31 views

### Generated equivalence relations in logics

Let $L$ be some logic (FO or stronger which is not important for this purpose). Given a $\tau$-structure $A$ and a formula $\varphi(x_1, \dots x_n) \in L[\tau]$ with free variables $x_1, \dots, x_n$. ...
353 views

### Quotient spaces in linear algebra

There's a statement in some notes I'm reading that goes like this: "...$V/U$ is a 'simplified version' of $V$ where the elements of $U$ are ignored" ($V$ and $U$ are vector spaces). I'm still ...
I'm confused about whether a specific example must exist to prove an aspect of an equivalence relation. For example: if a set, $A$, only contains one element, $A = \{1\}$, and a relation, $R$, on ...