Let A 1 </msub> , A 2 </msub> , P be CPOs and let &#x03C8;<!-- ψ -->

dourtuntellorvl

dourtuntellorvl

Answered question

2022-07-01

Let A 1 , A 2 , P be CPOs and let ψ : A 1 × A 2 P be a map, then ψ is continuous it is so in each variable separately
Proving this direction is quite easy, but I am not sure how to conclude the opposite direction:
If D = ( d 1 , d 2 ) = ( D 1 × D 2 ) , we have:
ψ ( D ) = ψ ( d 1 , d 2 ) = ψ d 1 ( d 2 ) = ψ d 2 ( d 1 ) , where
ψ d 1 ( d 2 ) = ψ D 1 ( D 2 ) = ψ D 1 ( D 2 ) = ψ ( { D 1 } × D 2 )
and, similarly,
ψ d 2 ( d 1 ) = ψ D 2 ( D 1 ) = ψ D 2 ( D 1 ) = ψ ( D 1 × { D 2 } )
how to conclude that ψ ( D ) = ψ ( D ) ?

Answer & Explanation

Trey Ross

Trey Ross

Beginner2022-07-02Added 30 answers

Step 1
Anyway, I'll start in a point you have already reached.
ψ ( D ) = ψ d 2 ( d 1 ) = ψ d 2 ( D 1 ) = ψ d 2 ( D 1 ) = { ψ d 2 ( x ) : x D 1 } = { ψ ( x , d 2 ) : x D 1 } = { ψ x ( D 2 ) : x D 1 } = { { ψ x ( y ) : y D 2 } : x D 1 } = { ψ ( x , y ) : x D 1 , y D 2 } = ψ ( D ) .

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?