0
Upcoming SlideShare
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Standard text messaging rates apply

# 定理３

494

Published on

Published in: Education, Technology
0 Likes
Statistics
Notes
• Full Name
Comment goes here.

Are you sure you want to Yes No
• Be the first to comment

• Be the first to like this

Views
Total Views
494
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
1
0
Likes
0
Embeds 0
No embeds

No notes for slide

• ### Transcript

• 1. P53 3 f' g' f g pullback g mono f' mono f' g' f g
• 2. 3 (1) f' mono f'￮k1 = f'￮k2 k1 k2 k1 f' k2 g' f g
• 3. 3 (2) k1 f'￮k1 g'￮k2 f'￮k1 ￮￮ ￮￮ ￮ ￮ f' g'￮k1 ￮￮ g' f g
• 4. 3 (3) pullback e f'￮k1 e g'￮e = g'￮k1 f' g'￮k1 f'￮e = f'￮k1 g' f g
• 5. 3 (4) k1 (3) e f'￮k1 e k1 k1 f' g'￮k1 = g'￮k1 g'￮k1 g' f f'￮k1 = f'￮k1 g
• 6. 3 (5) k2 (3) e f'￮k1 e k2 k2 f' g'￮k2 = g'￮k1 g'￮k1 g' f f'￮k2 = f'￮k1 g
• 7. 3 (6) f'￮k2 = f'￮k1 k1 k2 k1 f' ((1) ) k2 g' f g
• 8. 3 (7) g mono ￮ ￮ ￮ ￮ ￮ ￮ ￮ ￮ f'￮k1 ￮ ￮ ￮ ￮ g'￮k1 ￮ ￮ f' ￮ ￮ g'￮k2 g' f mono g g'￮k1 = g'￮k2 ∴
• 9. 3 (8) k2 (3) e f'￮k1 e k1,k2 f' k1 = k2 g'￮k1 g' f g
• 10. 3 (9) k1 k2 f'￮k1 = f'￮k2 k1 = k2 f' mono k1 f' Q.E.D. k2 g' f g