A single valued relation [math]f[/math] is [math]f\subset A\times B[/math] s.t. if [math](a,b),(a,b')\in f[/math] then [math]b=b'[/math].
How the fuck do I rewrite [math]f[/math] in set form, i.e. [math]f=\{(a,b)\in A \times B|...\}[/math]?
[math]f=\{(a,b)\in A\times B|\mbox{ if } (a,b')\in f \mbox{ then }b=b'\}[/math].
I'm using [math]f[/math] while defining [math]f[/math] which I don't like.
What do?
how do you write the symbols? just using LaTeX notation?
>>9093303
You first define a relation and then check whether it's a function.
[math]\int f\mbox{d}\mu[/math]
>>9093543
>>9093732
Fucked up.
Press the TEX button on the upper corner when replying to a message.
>>9093556
Did you understand the question?
Fill the dots [math]...[/math] in the OP.
>>9093303
There isn't anything wrong with using f when defining f since you already defined f when you said
A single valued relation [math]f[/math] is [math] f \subset A \times B[/math] such that [math](a,b),(a,b') \in f \rightarrow b = b'[/math] [math][/math]
>>9093303
If you want a specific set, you need to show the rule to which each [math] x \in A[/math] gets assigned a unique [math] y \in B [/math]. You can show this by [math] f: x \mapsto f(x) [/math].
Obviously you replace f(x) with the rule. Then there is nothing wrong by denoting the set as [math] f = \{(x,y) \in A \times B | f(x) = y\}[/math]
>>9093793
Yeah, that's corrent.
I was wondering though whether there was a method for restating the properties of the set by avoiding using [math]f[/math].
>>9093811
I wanted to write it in a general form.
>>9093818
Suppose F is a relation from A to B. To make it a function then just restrict by this,
[math] \forall x \in A \; \exists! \; y \in B \;| \;(x,y) \in F[/math]