Let f:A rightarrow B and g:C rightarrow D. Define f times g={((a,c),(b,d)):(a,b) in f and (c,d) in g}. Prove that f times g is a function from A times C to B times D.

Joglxym

Joglxym

Answered question

2022-11-02

Let f : A B and g : C D. Define f × g = { ( ( a , c ) , ( b , d ) ) : ( a , b ) f  and  ( c , d ) g } .Prove that f × g is a function from A × C to B × D.
My proof (so far):
Let ( a , c ) A × C, then a A and c C.
Let ( b , d ) B × D, b B and d D.
If p A × C then p = ( a , c ).
Define ( f × g ) ( p ) as ( f × g ) ( p ) = ( f × g ) ( a , c ) = ( f ( a ) , g ( c ) ) = ( b , d ), however b B and d D and ( b , d ) B × D.
This shows f × g is a function from A × C to B × D as ( f × g ) : A × C B × D then ( a , b ) ( f ( a ) , g ( c ) ).
I know that it is not well written out, but I was wondering if my thought process so far made sense or if I accidentally missed something. Additionally, I am unsure of what the next step may be. As a sidenote, I am worried that this does not work for the given definition of f × g.

Answer & Explanation

Eynardfb0

Eynardfb0

Beginner2022-11-03Added 19 answers

Step 1
You're missing something very important: the definition of a function. The set f × g is defined as a relation, specifically a binary relation between the sets A × C and B × D. Functions are a specific type of relation. Specifically,
A relation f X × Y between X and Y is a function if, for all x X, there exists a unique y Y such that ( x , y ) f.
You need to use this property in your proof, as f and g are both assumed to have this property, as well as prove this property for f × g.
In your proof, you skirt around this a little by equivalently defining f × g in terms of function notation, specifically defining ( f × g ) ( p ) for all p A × C. As a proof technique, it's right on the border between acceptable and unacceptable. It buries the logic simply by a change of notation. By using function notation, you're implicitly assuming f × g is a function. You could instead define a new function h : A × C B × D by saying h ( a , c ) := ( f ( a ) , g ( c ) ), but then you should prove that the function h is equal to the relation f × g.
Step 2
Either way, something is missing from your approach. You haven't assumed anything false or difficult to show, but some steps need to be added in order to rectify the proof. That said, I would highly recommend proving it from the definition above, because I strongly suspect you're not comfortable enough with it yet.
So, let me get you started here. Suppose ( a , b ) A × B. Then a A and b B. Since f : A C is a function, there must exist some c C such that ( a , c ) f.
vedentst9i

vedentst9i

Beginner2022-11-04Added 5 answers

Explanation:
What you need to check is:
1. Is f × g a subset of ( A × C ) × ( B × D )?
2. Is there, for every ( a , c ) A × C , some ( b , d ) ( B × D ) such that ( ( a , c ) , ( b , d ) ) f × g?
3. Is the pair (b,d) in the previous point unique for each ( a , c ) A × C?

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?