MHB Such That" vs. "iff": A Closer Look

  • Thread starter Thread starter E01
  • Start date Start date
AI Thread Summary
The discussion centers on the distinction between "such that" and "iff" in mathematical definitions. "Such that" is clarified to mean "and" rather than "if...then" or "iff," particularly in the context of defining sets based on properties. The image of a set A under a function f is defined as the set of elements y in Y for which there exists an x in A such that y = f(x). The importance of understanding whether a function is surjective (onto) is emphasized, as it affects the existence of pre-images for elements in the co-domain. Overall, precise definitions and the role of the target set in function definitions are highlighted as critical for clarity.
E01
Messages
8
Reaction score
0
This may seem like a dumb question but I'm not sure whether "such that" is equivalent to "iff" or "if then".

Here is what confused me. The image of A "f(A)" is defined as y element of Y such that for some x element of A, y=f(A). I could say there exists some element x such that y=f(A).

I'm not sure if I can say in a proof that if y=f(A) then there exists some x element of A.

Sometimes it seems like A such that B means "if then".
 
Physics news on Phys.org
E01 said:
Here is what confused me. The image of A "f(A)" is defined as y element of Y such that for some x element of A, y=f(A). I could say there exists some element x such that y=f(A).
This is not a correct definition. For one, you say "x such that" and then don't mention x. Could you give a correct definition and start by saying what $f$, $A$ and $Y$ are?
 
E01 said:
This may seem like a dumb question but I'm not sure whether "such that" is equivalent to "iff" or "if then".

Here is what confused me. The image of A "f(A)" is defined as y element of Y such that for some x element of A, y=f(A). I could say there exists some element x such that y=f(A).

I'm not sure if I can say in a proof that if y=f(A) then there exists some x element of A.

Sometimes it seems like A such that B means "if then".

In my experience, "such that" usually occurs in THIS setting:

$S = \{x \in T \text{ such that } P(x)\}$

where $P$ is some property $x$ has, in other words:

$x \in S \iff (x \in T) \wedge P(x)$

For example:

$2\Bbb Z = \{k \in \Bbb Z \text{ such that } 2|k\}$

which says two things:

1. $k$ is an integer
2. $k$ is divisible by 2.

In this example, "such that" doesn't play the role of "if...then", "only if" OR "iff", it plays the role of "and".
 
Thanks for the response Deveno. That makes sense. So I would say y is an element of Y and y=f(A) for some x element of A.

In response to Evgeny.

I forgot the starting portion of the definition. Let X and Y be sets. Let f be a function from X onto Y. A is a subset of X. We define the image of A as the set f(A) where y is an element of Y such that y=f(A) for some element x element of A.

I need to learn to use LaTeX.
 
In response to what I THINK you were trying to ask:

If f(A) = Y, then yes, there is SOME x in X with f(x) = y, for any y in Y you care to choose. This is often taken as the definition of "surjective" or "onto". Such an x is called a "pre-image" for y.

If, however, f(A) is not all of Y, then we cannot say this necessarily.

Example:

The function f:{1,2} --> {1,2} defined by:

f(1) = 1
f(2) = 1

is not onto, there is no pre-image of 2.

The function f:{1,2}-->{1} defined with the same values IS onto, as there is only one element in the co-domain, 1, and it has a pre-image (actually, it has two).

Any function f:X-->Y can be made into an onto function by considering f (with the same values at every x in X):

f:A --> f(A).

This underscores something that is often overlooked with functions: the "target-set" (the co-domain) is part of the definition, and f is not determined SOLELY by its values.

If all one is concerned about is f(x) for various x's, as in calculation of maximum or minimum values, often one does not think much about this, but it can be critical.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Replies
5
Views
2K
Replies
2
Views
2K
Replies
3
Views
5K
Replies
2
Views
2K
Replies
5
Views
623
Replies
18
Views
2K
Back
Top