自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

战斗果冻的训练中心

此处存放果冻君的黑历史

  • 博客(17)
  • 资源 (25)
  • 问答 (1)
  • 收藏
  • 关注

原创 泛函分析笔记(十五) Hahn-Banach 定理、闭值域定理

文章目录1. Hahn-Banach 定理1.1. 几何形式的Hahn-Banach定理:凸集的分离2. Banach 闭值域定理1. Hahn-Banach 定理实向量空间中: X是实向量空间,p是X上的 次线性泛函 ,即一个满足 $p(\alpha x) = \alpha p(x) \forall a>0,\forall x\in X;p(x+y) \le p(x)+p(y),\forall x,y\in X $ (就是叠加的部分变成小于等于了,所以次了)的函数 p:X→Rp:X\to \ma

2020-10-30 18:31:58 4353

原创 泛函分析笔记(十四)Baire定理,Banach-Steinhaus定理

文章目录1. Baire 定理1.1. Baire定理的应用2. Banach-Steinhaus 定理(一致有界性原理)2.1. 推论及应用2.1.1. 应用:数值求积公式的收敛性1. Baire 定理Cantor 交集定理: X是完备的距离空间, 而 (An)n=0∞(A_n)_{n=0}^\infty(An​)n=0∞​ 是X中满足下列性质的非空闭子集 AnA_nAn​ 组成的序列,他们满足A0⊃A1⊃A2⊃⋯⊃An⊃An−1⊃⋯ ,当n→∞时,diamAn→0A_0 \supset A_1\s

2020-10-29 21:28:01 7880 1

原创 泛函分析笔记(十三) 傅里叶级数、紧自伴算子

1. 前置知识1.1. 规范正交系1.2. Gram-Schmidt规范正交化方法2. Hilbert 基和 Fourier 级数2.1. 可分Hilbert空间的 Fourier级数2.2. 常见的傅里叶级数2.2.1. 正余弦2.2.2. 复数3. 自伴算子3.1. 自伴算子的性质3.2. 紧自伴算子的谱定理1. 前置知识1.1. 规范正交系设 (X,(⋅,⋅))(X,(\cdot,\cdot))(X,(⋅,⋅)) 是实或复的内积空间,由 ei∈Xe.

2020-10-29 13:21:02 2544

原创 泛函分析笔记(十二) 希尔伯特空间中的伴随算子

文章目录1. 前置知识2. 伴随算子3. 再生核1. 前置知识设 (X,(⋅,⋅))(X,(\cdot,\cdot))(X,(⋅,⋅)) 是 K=R  or  K=C\mathbb{ K=R ~~ or~~ K=C}K=R  or  K=C 上的内积空间,用X’表示其对偶空间,任意给定向量 y∈Xy\in Xy∈X ,定义线性泛函 ly:X→Kl_y:X\to\mathbb Kly​:X→K 为ly(x):=(x,y)∈

2020-10-28 13:56:18 6894 2

原创 泛函分析笔记(十一) 投影、直角、线性系统最小二乘解

文章目录1. 前置知识1.1. 内积空间1.1.1. 一些性质1.2. 希尔伯特空间 Hilbert Space1.2.1. 投影算子2. 线性系统的最小二乘解3. 直和定理3.1. 直交3.2. 直和定理1. 前置知识1.1. 内积空间X是实向量空间,X上的内积是指函数 (⋅,⋅):X×X→R(\cdot,\cdot):X\times X\to \mathbb{R}(⋅,⋅):X×X→R ,它满足对任何 x,y,z∈Xx,y,z\in Xx,y,z∈X 和任何 α,β∈R\alpha,\beta\i

2020-10-27 22:33:15 1985

原创 泛函分析笔记(十) 不动点定理及其应用

文章目录1. 不动点定理Banach 不动点定理2. 不动点定理的应用2.1. 非线性常微分方程解的存在性2.1.1. 单摆方程2.2. 非线性两点边值问题的(经典)解的存在性1. 不动点定理f:X→Xf:X\to Xf:X→X 是集合X到自身的一个映射,不动点就是指满足 f(x)=xf(x) = xf(x)=x 的任意点 x∈Xx\in Xx∈X压缩映射: (X,d)(X,d)(X,d) 是一个距离空间,对映射 f:X→Xf:X\to Xf:X→X 如果存在常数k,使得 0<k<10&

2020-10-27 13:58:08 4223

原创 泛函分析笔记(九)Banach 空间中的级数

1. Banach 空间的级数1.1. Neumann级数 ∑n=0∞An\sum_{n=0}^\infty A_n∑n=0∞​An​1.2. 相关定理1. Banach 空间的级数如果 (X,∣∣⋅∣∣)(X,||\cdot||)(X,∣∣⋅∣∣) 是赋范向量空间, (xn)n=1∞(x_n)_{n=1}^\infty(xn​)n=1∞​ 是向量 xn∈Xx_n\in Xxn​∈X 的序列,则 ∑n=1∞xn\sum_{n=1}^\infty x_n∑n=1∞​xn​ 是一个级数,对每个.

2020-10-27 11:37:24 1418

原创 泛函分析笔记(八)Banach 空间中的lp空间和Lebesgue空间 (勒贝格空间)

文章目录1. Banach 空间的基本性质2. Banach 空间的例子2.1. 空间 lp,1≤p≤∞l^p, 1\le p\le \inftylp,1≤p≤∞2.2. Lebesgue 空间 Lp(Ω),1≤p≤∞L^p(\Omega), 1\le p \le \inftyLp(Ω),1≤p≤∞1. Banach 空间的基本性质赋范向量空间 (X,∣∣⋅∣∣)(X,||\cdot||)(X,∣∣⋅∣∣) 称为 Banach 空间,是指距离空间 (X,d)(X,d)(X,d) 是完备的,这里X是的距离

2020-10-26 22:09:31 13156

原创 泛函分析笔记(八) 凸集和凸函数

文章目录1. 凸集2. 凸函数1. 凸集线段: 给定向量空间的两点 a 和 b ,集合 [a,b]:={x∈X;x=λa+(1−λ)b,0≤λ≤1}[a,b]: = \{ x\in X; x= \lambda a + (1-\lambda)b,0\le \lambda \le 1\}[a,b]:={x∈X;x=λa+(1−λ)b,0≤λ≤1} 是以a,b为端点的线段或闭线段。没错没错,就是闭区间,几乎一毛一样。只不过这个点不再局限于是数轴上的点了,而是可以是任意向量空间的点。凸集: 向量空间X的子集

2020-10-26 21:00:32 3855

原创 泛函分析笔记(七) 连续线性算子和连续多重线性映射

文章目录赋范向量空间的连续线性算子初等性质线性算子的特征值和特征子空间空间 L(X;Y),L(X),X∗\mathcal{L}(X;Y),\mathcal{L}(X) ,X^*L(X;Y),L(X),X∗连续多重线性映射赋范向量空间的连续线性算子设X和Y是同一个域 K=R  or  K=C\mathbb{K=R} ~~ or ~~ \mathbb{K=C}K=R  or  K=C 上的向量空间,0表示他们中的零向量。映射

2020-10-25 21:06:09 3569 1

原创 泛函分析笔记(六) 向量空间

文章目录向量空间Hamel 基向量空间这回要重学小学的四则运算了加法和数乘:(x,y)∈X×X→(x+y)∈X,  (α,x)∈K×X→αx∈X(x,y)\in X \times X \to (x+y) \in X , ~~ (\alpha,x)\in \mathbb{K} \times X \to \alpha x \in X(x,y)∈X×X→(x+y)∈X,  (α,x)∈K×X→αx∈X这两个就是加法和乘法。其中 K\mathbb{K}K 是数域

2020-10-24 18:55:03 1699

原创 泛函分析笔记(五) 距离空间

文章目录距离空间距离空间的性质连续性距离空间的完备距离空间的紧性距离空间设 X 为一个集合,函数 d:X×X→Rd: X\times X \to \mathbb{R}d:X×X→R 满足对任何 x,y,z∈Xx,y,z \in Xx,y,z∈X :d(x,x)=0d(x,x) = 0d(x,x)=0 且当 x≠yx\not ={ y}x​=y 时, d(x,y)>0d(x,y)>0d(x,y)>0d(x,y)=d(y,x)d(x,y) = d(y,x)d(x,y)=d(y,x

2020-10-24 15:15:32 2617

原创 泛函分析笔记(四) 拓扑空间的性质

拓扑空间的连续性连续: 设 X,YX,YX,Y 均为拓扑空间, f:X→Yf:X\to Yf:X→Y 是从 X到YX到YX到Y 的映射, x∈Xx\in Xx∈X 。若对 YYY 中 f(x)f(x)f(x) 的任何邻域 V,存在 XXX 中x的一个邻域 UUU 使得 U在f下的像f(U)∈VU在f下的像 f(U) \in VU在f下的像f(U)∈V ,则f在点x连续。序列的连续和收敛: 如果X,Y是两个Hausdorff空间, 映射 f:X→Yf:X\to Yf:X→Y 在 x∈Xx\in Xx∈X

2020-10-23 23:06:34 3447

原创 泛函分析笔记(三) 拓扑空间的基本概念

拓扑空间拓扑空间指一对 (X,O)(X,\mathcal{O})(X,O) ,其中X是一个集合, O\mathcal{O}O 是 P(X)\mathcal{P}(X)P(X) 的一个子集,并需要满足以下条件。对任何一族 (Oi)i∈I(O_i)_{i\in I}(Oi​)i∈I​ ,其中 Oi∈OO_i\in \mathcal{O}Oi​∈O 其并集 ∪i∈IOi∈O\cup _{i\in I}O_i\in \mathcal{O}∪i∈I​Oi​∈O (集合I可以是有限集也可以是无限集);对任何有限个

2020-10-23 14:33:07 3496

原创 泛函分析笔记(二)选择公理和佐恩引理

文章目录一些基本概念选择公理Zorn引理半序集和全序集Zorn 引理一些基本概念指标集: 设I和X是两个非空集合,以I为指标集的X的一个元素族即一个映射 f:I→Xf:I\to Xf:I→X ,定义为 f:i∈I→xi∈Xf:i\in I\to x_i\in Xf:i∈I→xi​∈X ,就是视I中的元素为指标,记作 (xi)i∈I(x_i)_{i\in I}(xi​)i∈I​说实话这段我一开始根本没看懂。仔细思索之后感觉大概人话就是说,我有一个集合I,然后这个集合I里面的每个元素 iii 都能找

2020-10-21 16:08:49 2000

原创 泛函分析笔记(一) 基础的集合与映射

文章目录集合ZF集合论ZF集合论的公理ZF集合论的推论映射特征函数集合ZF集合论Zermelo-Fraenkel 集合论是数学中最常用的公理化集合论,含选择公理时常简写为ZFC,不含选择公里时则简写为ZF。ZF集合论的公理同一律(外延公理):两个集合相等的充分必要条件是它们具有相同的元素,即∀X∀Y[X=Y⇔∀z(z∈X↔z∈Y)]\forall X \forall Y [X = Y\Leftrightarrow \forall z(z\in X\leftrightarrow z\

2020-10-20 20:33:54 1154

原创 防火防盗防老板,树莓派改造成公网可访问的摄像头监控(基于MJPG-Streamer和cpolar)

文章目录必备设备Mjpg-Streamer的安装和启动MJPG-Streamer的启动输入部分输出部分查看内网穿透工具cpolar的安装和使用先安装先安装启动加个网页啊这两天翻出来自己手上的树莓派又想起了之前xilinx暑期学校的时候买过一个摄像头那我为什么不搞个云摄像头呢?然后就试了试看看能不能把本地的摄像头画面映射到公网上去,竟然成功了!!!必备设备树莓派电脑sd卡usb摄像头或者树莓派摄像头Mjpg-Streamer的安装和启动sudo apt-get install cmake

2020-10-09 13:55:59 664

通过HLS实现二维傅里叶变换(2Dfft)及图像数据读入读出及去模糊

通过HLS实现二维傅里叶变换(2Dfft)及图像数据读入读出及去模糊

2024-04-25

直接卷积方法计算方孔衍射的空间像

直接卷积方法计算方孔衍射的空间像

2023-12-02

利用傅立叶变换计算方孔衍射

利用傅立叶变换计算方孔衍射

2023-12-02

MQ2BasedDetect.SchDoc copy_2021-07-06.schdoc

MQ2烟雾传感电路原理图

2021-07-06

Gerber_Smoke_MQ2.zip

MQ2烟雾传感电路PCB Gerber

2021-07-06

基于pynq的简易HDMI服务器

基于pynq的简易HDMI服务器 基于pynq的简易HDMI服务器基于pynq的简易HDMI服务器 基于pynq的简易HDMI服务器 将hdmi信号发在socket上

2020-08-06

Wave Editor.rar

用来进行wav文件的波形分析

2020-08-04

pynq_z2_audio_create.tcl

pynq_z2_audio_create 初始化脚本

2020-07-21

bnn_pynq.zip

pynq上的BNN

2020-07-12

PanasonicSDFormatter.rar

可以很方便的格式化任意格式的SD卡

2020-07-09

ImageWriter.rar

镜像烧录软件,可以将镜像烧录入SD卡中

2020-07-09

TextRecognization.rar

截取图片并识别文字保存入剪贴板

2020-07-06

Assignment 2 naive Bayes.py

Coursera NLP课程第二周Assignment

2020-06-26

Assignment 1 Logistic Regression.py

Coursera NLP第一周作业

2020-06-25

cfadisk32位和64位.zip

cfadisk.inf驱动支持多系统的能够让你的一整块硬盘进行分区的必备程序,不然会无法显示,或者直接拒绝工具的任何操作,如果提示缺少该文件或是无法分区等对话框,那么便可以靠安装它来解决

2020-06-19

cfadisk将SD卡转换成固定硬盘驱动.rar

cfadisk.inf驱动支持多系统的能够让你的一整块硬盘进行分区的必备程序,不然会无法显示,或者直接拒绝工具的任何操作,如果提示缺少该文件或是无法分区等对话框,那么便可以靠安装它来解决

2020-06-19

python遗传算法求函数极值.py

python遗传算法求函数极值

2020-06-14

电桥放大电路仿真文件.ms14

电桥放大电路仿真文件.ms14

2020-06-11

python实现海明码编码和1bit校验纠错

python实现海明码编码和1bit校验纠错

2020-03-22

剑与远征自动推图脚本

剑与远征自动推图脚本 简单的模板匹配然后实现模拟点击

2020-03-10

新浪微博模拟登录weibologin.py

本段python代码可以实现对新浪微博的爬虫模拟登录 本段python代码可以实现对新浪微博的爬虫模拟登录

2020-02-12

realweibo.py

给定任意关键词,能够通过新浪微博搜索,爬取相关微博的博主id,微博正文,转发数,评论数,点赞数,发布时间

2020-02-11

sc2_objects.ms

sc2_objects.mssc2_objects.mssc2_objects.mssc2_objects.mssc2_objects.mssc2_objects.ms

2020-02-05

impexpmdx_v2.0.4.ms

impexpmdx_v2.0.4.msimpexpmdx_v2.0.4.

2020-02-05

m3_export_3dsmax m3模型导出

M3 Import Script,3ds Max 的M3模型导出

2020-02-05

m3_import 3ds Max 的M3模型导入

M3 Import Script,3ds Max 的M3模型导入

2020-02-05

MDXimporter导3dMax插件

MDXimporter导3dMax插件 在3dmax运行脚本,然后就可以在实用工具那一栏中找到MDXimporter 从那里选择文件,然后在下面apply,就可以导入文件。 MDXimporter导3dMax插件 在3dmax运行脚本,然后就可以在实用工具那一栏中找到MDXimporter 从那里选择文件,然后在下面apply,就可以导入文件。 MDXimporter导3dMax插件 在3dmax运行脚本,然后就可以在实用工具那一栏中找到MDXimporter 从那里选择文件,然后在下面apply,就可以导入文件。 MDXimporter导3dMax插件 在3dmax运行脚本,然后就可以在实用工具那一栏中找到MDXimporter 从那里选择文件,然后在下面apply,就可以导入文件。 MDXimporter导3dMax插件 在3dmax运行脚本,然后就可以在实用工具那一栏中找到MDXimporter 从那里选择文件,然后在下面apply,就可以导入文件。

2020-02-05

solidworks 压力表.zip

用solidworks绘制的压力表装配模型及零件,压缩包内共包含30个文件

2019-10-06

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除