---
date: 2022-04-05 23:42
modification date: Tuesday 5th April 2022 23:42:25
title: "Fredholm operator"
aliases: [Fredholm operator, compact operator, linearizing, linearize]
---

Last modified date: <%+ tp.file.last_modified_date() %>

---
- Tags: 
	- #todo/untagged
- Refs:
	- #todo/add-references
- Links:
	- #todo/create-links 

---

# Fredholm operator

![](attachments/2023-03-11fredholm.png)

![attachments/Pasted image 20210613131507.png](attachments/Pasted%20image%2020210613131507.png)

It turns out that (b) above follows from the other two conditions.

![attachments/Pasted image 20210613131550.png](attachments/Pasted%20image%2020210613131550.png)

![attachments/Pasted image 20210613131606.png](attachments/Pasted%20image%2020210613131606.png)

# Checking an operator is Fredholm

![](attachments/Pasted%20image%2020220422115056.png)

# Linearizing an operator

![](attachments/Pasted%20image%2020220422115256.png)

# Properties

![](attachments/Pasted%20image%2020220422115012.png)
![](attachments/Pasted%20image%2020220422115020.png)